Pubblicazioni

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