×

A deterministic subexponential algorithm for solving parity games. (English) Zbl 1192.91013

Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, Miami, FL, January 22–24, 2006. New York, NY: Association for Computing Machinery (ACM); Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 0-89871-605-5). 117-123 (2006).
For the entire collection see [Zbl 1161.68842].

MSC:

91-04 Software, source code, etc. for problems pertaining to game theory, economics, and finance
91A43 Games involving graphs
68Q60 Specification and verification (program logics, model checking, etc.)
PDFBibTeX XMLCite
Full Text: DOI Link