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



Fearnley, John, Jain, Sanjay, Schewe, Sven ORCID: 0000-0002-9093-9518, Stephan, Frank and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017) An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space. .

[img] Text
note.pdf - Accepted Version

Download (592kB)
Item Type: Conference or Workshop Item (Unspecified)
Uncontrolled Keywords: parity games, model checking games, synthesis
Depositing User: Symplectic Admin
Date Deposited: 24 May 2017 07:38
Last Modified: 16 Aug 2022 15:20
DOI: 10.1145/3092282.3092286
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3007624