Etessami, Kousha; Wilke, Thomas; Schuller, Rebecca A. Fair simulation relations, parity games, and state space reduction for Büchi automata. (English) Zbl 1079.68050 SIAM J. Comput. 34, No. 5, 1159-1175 (2005). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Etessami, Kousha; Wilke, Thomas; Schuller, Rebecca A. Fair simulation relations, parity games, and state space reduction for Büchi automata. (English) Zbl 0986.68049 Orejas, Fernando (ed.) et al., Automata, languages and programming. 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2076, 694-707 (2001). MSC: 68Q45 68Q85 × Cite Format Result Cite Review PDF Full Text: Link