👤 Carsten Fritz

Simulation-Based Simplification of omega-Automata. Using Simulation Relations for the Simplification of Alternating and Parity Automata. Carsten Fritz