Home » Publication » 24856

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

keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma