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 |