Matteo Mancanelli
Matteo Mancanelli
Affiliation: University of Rome La Sapienza
Affiliation: Sapienza University of Rome
Pages in this Program
Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus
Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑