Gianmarco Parretti

Pubblicazioni

Titolo Pubblicato in Anno
Symbolic LTLf Best-Effort Synthesis Symbolic LTLf Best-Effort Synthesis 2023
LTLf Best-Effort Synthesis for Single and Multiple Goal and Planning Domain Specifications European Conference on Multi-Agent Systems 2023
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains European Conference on Artificial Intelligence (ECAI) 2023

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma