On-The-Fly Solving for Symbolic Parity Games

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

Parity games can be used to represent many different kinds of decision problems. In practice, tools that use parity games often rely on a specification in a higher-order logic from…