Fair Simulation Relations, Parity Games, and State Space Reduction for Bchi Automata.

Kousha Etessami, Thomas Wilke, Rebecca A. Schuller

Browse the full ICALP paper archive.