Keyword:Universal trees

Papers
An Optimal Value Iteration Algorithm for Parity Games Nathanaël Fijalkow EasyChair Preprint no. 21