Gianmarco Parretti
dottorando
stanza:
B213
Biografia
I am a PhD student enrolled in the Italian National Doctoral Programme in Artificial Intelligence, at the Department of Computer, Control, and Management Engineering (DIAG) Antonio Ruberti at Sapienza University of Rome, where I earned a master's degree (MSc) in Engineering in Computer Science.
My research concerns applying Formal Methods techniques to Artificial Intelligence, with a focus on automated planning and reactive synthesis, which concern providing an AI system with the capability to autonomously reason about how to act to complete its task.
Interessi di ricerca
- Reactive Synthesis
- Automated Planning
Membro di
Ultime pubblicazioni
| LTLf Best-Effort Synthesis for Single and Multiple Goal and Planning Domain Specifications in European Conference on Multi-Agent Systems | 2023 |
| LTLf Best-Effort Synthesis in Nondeterministic Planning Domains in European Conference on Artificial Intelligence (ECAI) | 2023 |
| Symbolic LTLf Best-Effort Synthesis in Symbolic LTLf Best-Effort Synthesis | 2023 |