Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems.

Thomas Neele, Tim A. C. Willemse, Wieger Wesselink

Browse the full TACAS paper archive.