Home » Users » Antonio Di Stasio

Antonio Di Stasio

Membro di

Ultime pubblicazioni

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties in Multi-Agent Systems. 20th European Conference, EUMAS 2023, Naples, Italy, September 14–15, 2023. Proceedings 2023
Compositional Safety LTL Synthesis in Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022 2022
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis in IJCAI 2021
Improving parity games in practice in ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2021
Synthesis with Mandatory Stop Actions in KR 2021 2021
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma