Home » Publication » 24854

Dettaglio pubblicazione

2021, GandALF 2021, Pages -

On the Power of Automata Minimization in Temporal Synthesis (04b Atto di convegno in volume)

Zhu Shufang, Tabajara Lucas M., Pu Geguang, Vardi Moshe Y.

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