Items where Author is "De Giacomo, G."
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
De Giacomo, G., Di Stasio, A. ORCID: 0000-0001-5475-2978, M. Tabajara, L. , Vardi, M. & Zhu, S. (2021).
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis.
In:
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence.
Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}, 19-27 Aug 2021, Montreal, Canada.
doi: 10.24963/ijcai.2021/255