Pubblicazioni

Two-Stage Technique for LTLf Synthesis Under LTL Assumptions

2020 - Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning
De Giacomo, Giuseppe; Di Stasio, Antonio; Vardi, Moshe; Zhu, Shufang

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