Gianmarco Parretti
Gianmarco Parretti
Affiliation: Sapienza Università di Roma
Affiliation: University of Rome La Sapienza
Pages in this Program
Synthesis Foundations for Online LTLf Goal Management
Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑