Up a level |
Number of items: 1.
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.
In: ISSTA '17: International Symposium on Software Testing and Analysis.