A Discrete Strategy Improvement Algorithm for Solving Parity Games

By Jens Vöge, Marcin Jurdzinski. International Conference on Computer Aided Verification, 2000

298 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/b1664f48b547966308280a80aed0d3975a041424

Citations in the corpus

• Strategy Iteration Is Strongly Polynomial for 2-Player Turn-Based Stochastic Games with a Constant Discount Factor (2010, unknown): “, [11], [33], [19]).”