City Research Online

Items where City Author is "Di-Stasio, Antonio"

Up a level
Group by: Type | No Grouping
Number of items: 5.

Article

Aminof, B., De Giacomo, G., Di Stasio, A. ORCID: 0000-0001-5475-2978 , Francon, H., Rubin, S. & Zhu, S. (2025). ltl Synthesis Under Environment Specifications for Reachability and Safety Properties. Information and Computation, 303, article number 105255. doi: 10.1016/j.ic.2024.105255

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.

This list was generated on Fri Dec 13 02:32:24 2024 UTC.