An Ordered Approach to Solving Parity Games in Quasi-Polynomial Time and Quasi-Linear Space

Fearnley, JS, Jain, Sanjay, De Keijzer, Bart, Schewe, Sven ORCID: 0000-0002-9093-9518, Stephan, Frank and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2019) An Ordered Approach to Solving Parity Games in Quasi-Polynomial Time and Quasi-Linear Space. International Journal on Software Tools for Technology Transfer.

Text stttjournalrevision.pdf - Author Accepted Manuscript Download (447kB)