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 |