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]](https://livrepository.liverpool.ac.uk/style/images/fileicons/text.png) |
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 |
Dimensions
Dimensions
DimensionsAltmetric
Share
CORE (COnnecting REpositories)