Partial-order reduction for parity games with an application on parameterised Boolean Equation Systems (Technical Report)

Thomas Neele, Tim Willemse, Wieger Wesselink

    Research output: Book/Report › Report › Academic

    45 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Partial-order reduction for parity games with an application on parameterised Boolean Equation Systems (Technical Report)'. Together they form a unique fingerprint.

    Engineering & Materials Science