Items where City Author is "Di-Stasio, Antonio"
Article
De Giacomo, G., Di Stasio, A. 
ORCID: 0000-0001-5475-2978, Tabajara, L. M. , Vardi, M. Y. & Zhu, S. (2022).
Finite-trace and generalized-reactivity specifications in temporal synthesis.
Formal Methods in System Design, 61(2-3),
pp. 139-163.
doi: 10.1007/s10703-023-00413-2
Di Stasio, A. ORCID: 0000-0001-5475-2978, Murano, A., Prignano, V. & Sorrentino, L. (2021).
Improving parity games in practice.
Annals of Mathematics and Artificial Intelligence, 89(5-6),
pp. 551-574.
doi: 10.1007/s10472-020-09721-3
Conference or Workshop Item
Di Stasio, A. ORCID: 0000-0001-5475-2978 (2023).
Explicit and Symbolic Approaches for Parity Games.
In:
CEUR Workshop Proceedings.
IPS 2022, RiCeRcA 2022, and SPIRIT 2022, 28 Nov - 2 Dec 2022, Udine, Italy.
Di Stasio, A. ORCID: 0000-0001-5475-2978 (2022).
LTLf Synthesis Under Environment Specifications.
In:
CEUR Workshop Proceedings.
23rd Italian Conference on Theoretical Computer Science 2022, 7-9 Sep 2022, Rome, Italy.