Home » Users » Antonio Di Stasio

Antonio Di Stasio

Membro di

Ultime pubblicazioni

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
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces in IJCAI 2020
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma