Pubblicazioni

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)

2022 - Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022
De Giacomo, G.; Felli, P.; Logan, B.; Patrizi, F.; Sardiña, S.

Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces

2022 - IJCAI International Joint Conference on Artificial Intelligence
Calvanese, D.; De Giacomo, G.; Montali, M.; Patrizi, F.

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