City Research Online

Items where Author is "De Giacomo, G."

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

Aminof, B., De Giacomo, G., Di Stasio, A. ORCID: 0000-0001-5475-2978 (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. (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. (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

This list was generated on Sun Jun 29 03:33:22 2025 UTC.