Up a level |
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.
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.
CoRR, abs/17.
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.
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.