TY  - RPRT
TI  - Solving Parity Games Using An Automata-Based Algorithm
AU  - Antonio Di Stasio
AU  - Aniello Murano
AU  - Giuseppe Perelli
AU  - Moshe Y. Vardi
PY  - 2019
UR  - https://arxiv.org/abs/1910.13765
ID  - 1910.13765
ER  -