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

    Research output: Book/ReportReportAcademic

    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