Matteo Mancanelli (Preferred)
Matteo Mancanelli
PhD student, DIAG, University of Roma "La Sapienza"
Joined
August 2024
Names
Emails
****@diag.uniroma1.it (Confirmed)
****@uniroma1.it (Confirmed)
Personal Links
Career & Education History
PhD student
DIAG, University of Roma "La Sapienza" (uniroma1.it)
2023 – Present
Advisors, Relations & Conflicts
Expertise
reasoning about action
Present
formal methods
, temporal logic
, synthesis
, verification
, model checking
Present
neuro-symbolic AI
Present
Publications
Co-Authors
- Aurelio Uncini
- Axel Mezini
- Danilo Comminiello
- Elena Umili
- Eleonora Grassucci
- Fabio Patrizi
- Fabrizio Maria Maggi
- Giuseppe De Giacomo
- Ivan Donadello
- Yves Lespérance