Solving Parity Games Using An Automata-Based Algorithm

Antonio Di Stasio, Aniello Murano, Giuseppe Perelli +1

Parity games are abstract infinite-round games that take an important role in formal verification. In the basic setting, these games are two-player, turn-based, and played under pe…