Home » Users » Antonio Di Stasio

Antonio Di Stasio

Membro di

Ultime pubblicazioni

Compositional Safety LTL Synthesis on 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 on IJCAI 2021
Improving parity games in practice on ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2021
Synthesis with Mandatory Stop Actions on KR 2021 2021
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces on IJCAI 2020
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma