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