Pubblicazioni

Solving parity games using an automata-based algorithm

2016 - Implementation and Application of Automata
Di Stasio, A.; Murano, A.; Perelli, G.; Vardi, M. Y.

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