Pubblicazioni

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