Pubblicazioni

Monitoring Arithmetic Temporal Properties on Finite Traces

2023 - Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023
Felli, P.; Montali, M.; Patrizi, F.; Winkler, S.

Reactive Synthesis of Dominant Strategies

2023 - Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023
Aminof, B.; De Giacomo, G.; Rubin, S.

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