![]() | Up a level |
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.
Fearnley, JS, Jain, Sanjay, De Keijzer, Bart, Schewe, Sven ORCID: 0000-0002-9093-9518, Stephan, Frank and Wojtczak, Dominik K
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, 21 (3).
pp. 325-349.