Keyword:parity games

Publications
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger and Alexander Svozil In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
An Optimal Value Iteration Algorithm for Parity Games Nathanaël Fijalkow EasyChair Preprint 21