Solving Parity Games in Practice

@inproceedings{Friedmann2009SolvingPG,
  title={Solving Parity Games in Practice},
  author={Oliver Friedmann and Martin Lange},
  booktitle={ATVA},
  year={2009}
}
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model checking) for temporal logics. In this paper we investigate practical aspects of solving parity games. The main contribution is a suggestion on how to solve parity games efficiently in practice: we present a generic solver that intertwines optimisations with any of the existing parity game algorithms which is only… CONTINUE READING
Highly Influential
This paper has highly influenced 20 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 104 citations. REVIEW CITATIONS
66 Citations
17 References
Similar Papers

Citations

Publications citing this paper.

104 Citations

01020'10'12'14'16'18
Citations per Year
Semantic Scholar estimates that this publication has 104 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 17 references

Kähler and Th . Wilke . Complementation , disambiguation , and determinization of Büchi automata unified

  • D.
  • Proc . 35 th Int . Coll . on Automata , Languages…
  • 2008

Similar Papers

Loading similar papers…