Pubblicazioni

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

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

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.

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