Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata (Q5317190)
From MaRDI portal
scientific article; zbMATH DE number 2205886
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata |
scientific article; zbMATH DE number 2205886 |
Statements
Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata (English)
0 references
16 September 2005
0 references
fair simulation relations
0 references
parity games
0 references
state space reduction
0 references
Büchi automata
0 references
