Skip to main navigation
Skip to search
Skip to main content
Open Universiteit research portal Home
Home
Profiles
Research units
Projects
Research output
Datasets
Prizes
Activities
Press/Media
Student theses
Search by expertise, name or affiliation
Parity game reductions
S. Cranen
, J.J.A. Keiren
, T.A.C. Willemse
Research Line Resilience (part of LIRS program)
Research output
:
Contribution to journal
›
Article
›
Academic
›
peer-review
3
Citations (Web of Science)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Parity game reductions'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Equivalence Relation
100%
Direct Simulation
100%
Model Checking Problem
100%
Model Checking
100%
Keyphrases
Parity Games
100%
Game Reduction
100%
Bisimulation
28%
Game-based
14%
Equivalence Relation
14%
Computational Burden
14%
Direct Simulation
14%
Satisfiability Checking
14%
Winning Regions
14%
Computationally Expensive
14%