Efficient Parallel Strategy Improvement for Parity Games

Preprint English OPEN
Fearnley, John;
  • Subject: Computer Science - Data Structures and Algorithms | Computer Science - Formal Languages and Automata Theory | Computer Science - Logic in Computer Science

We study strategy improvement algorithms for solving parity games. While these algorithms are known to solve parity games using a very small number of iterations, experimental studies have found that a high step complexity causes them to perform poorly in practice. In t... View more
Share - Bookmark