City Research Online

Items where Author is "M. Tabajara, L."

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

Conference or Workshop Item

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

This list was generated on Wed Dec 25 04:00:47 2024 UTC.