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
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords