Pubblicazioni

Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments

2024 - IJCAI
Aminof, Benjamin; DE GIACOMO, Giuseppe; Parretti, Gianmarco; Rubin, Sasha

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.

Synthesis of Maximally Permissive Strategies for LTLf Specifications

2022 - Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. Main Track
Zhu, S.; De Giacomo, G.

LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work

2022 - IJCAI
De Giacomo, G.; Favorito, M.; Li, J.; Vardi, M. Y.; Xiao, S.; Zhu, S.

Act for Your Duties but Maintain Your Rights

2022 - Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning. Main Track
Zhu, S.; De Giacomo, G.

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