Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A. Strategy construction for parity games with imperfect information. (English) Zbl 1232.91007 Inf. Comput. 208, No. 10, 1206-1220 (2010). MSC: 91A05 PDFBibTeX XMLCite \textit{D. Berwanger} et al., Inf. Comput. 208, No. 10, 1206--1220 (2010; Zbl 1232.91007) Full Text: DOI
De Wulf, M.; Doyen, L.; Henzinger, T. A.; Raskin, J.-F. Antichains: a new algorithm for checking universality of finite automata. (English) Zbl 1188.68171 Ball, Thomas (ed.) et al., Computer aided verification. 18th international conference, CAV 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 3-540-37406-X/pbk). Lecture Notes in Computer Science 4144, 17-30 (2006). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. De Wulf} et al., Lect. Notes Comput. Sci. 4144, 17--30 (2006; Zbl 1188.68171) Full Text: DOI