On-The-Fly Solving for Symbolic Parity Games.

Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse

Browse the full TACAS paper archive.