## Efficient Parallel Strategy Improvement for Parity Games

*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

- References (14)
- Related Research Results (1) Inferred
parallel-si software on GitHub 72% - Similar Research Results (6)
Mean-payoff pushdown games (2012) 87%Probabilistic one-player Ramsey games via deterministic two-player games (2009) 81%Feature Selection as a One-Player Game (2010) 80%Reachability Games with Relaxed Energy Constraints (2019) 74%Energy mean-payoff games (2019) 72%Energy Mean-Payoff Games (2019) 72% - Related Organizations (4)
University Of Liverpool 90%UNIVERSITY OF LIVERPOOL 90%University of Liverpool 90%University of Liverpool ( University of Liverpool ) United KingdomWebsite url: http://www.liv.ac.uk/90% - Metrics

Share - Bookmark

- Download from

- Funded by