Dettaglio pubblicazione
2021, IJCAI, Pages -
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis (01a Articolo in rivista)
De Giacomo Giuseppe, Di Stasio Antonio, Tabajara Lucas M., Vardi Moshe, Zhu Shufang
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords