Pubblicazioni

LTLf Goal-oriented Service Composition

2024 - PMAI 2024. Process Management in the AI Era 2024. Proceedings of the 3rd International Workshop on Process Management in the AI Era (PMAI 2024) co-located with 27th European Conference on Artificial Intelligence (ECAI 2024)
DE GIACOMO, Giuseppe; Favorito, Marco; Silo, Luciana

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties

2023 - Multi-Agent Systems. 20th European Conference, EUMAS 2023, Naples, Italy, September 14–15, 2023. Proceedings
Aminof, B.; De Giacomo, G.; Di Stasio, A.; Francon, H.; Rubin, S.; Zhu, S.

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