Pubblicazioni

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.

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