Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata

Kousha Etessami, Thomas Wilke, Rebecca A. Schuller

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata'. Together they form a unique fingerprint.

Computer Science