Pubblicazioni

Symbolic LTLf Best-Effort Synthesis

2023 - Symbolic LTLf Best-Effort Synthesis
DE GIACOMO, Giuseppe; Parretti, Gianmarco; Zhu, Shufang

LTLf Best-Effort Synthesis for Single and Multiple Goal and Planning Domain Specifications

2023 - European Conference on Multi-Agent Systems
Parretti, Gianmarco

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains

2023 - European Conference on Artificial Intelligence (ECAI)
DE GIACOMO, Giuseppe; Parretti, Gianmarco; Zhu, Shufang

Automata Cascades: Expressivity and Sample Complexity

2023 - Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023
Ronca, A.; Knorozova, N. A.; De Giacomo, G.

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