Home » Publication » 23688

Dettaglio pubblicazione

2021, IJCAI, Pages 1852-1858

Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis (04c Atto di convegno in rivista)

DE GIACOMO Giuseppe, DI STASIO Antonio, Tabajara Lucas M., Vardi Moshe, Zhu Shufang

ISBN: 978-0-9992411-9-6
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma