An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space
10.1007/s10009-019-00509-3
Saved in:
Main Authors: | , , , , , |
---|---|
Other Authors: | |
Format: | Article |
Published: |
Springer Verlag
2020
|
Subjects: | |
Online Access: | https://scholarbank.nus.edu.sg/handle/10635/177521 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
id |
sg-nus-scholar.10635-177521 |
---|---|
record_format |
dspace |
spelling |
sg-nus-scholar.10635-1775212024-04-25T01:32:19Z An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space Fearnley J. Jain S. de Keijzer B. Schewe S. Stephan F. Wojtczak D. DEPARTMENT OF COMPUTER SCIENCE MATHEMATICS Parity games Progress measure Quasi-polynomial 10.1007/s10009-019-00509-3 International Journal on Software Tools for Technology Transfer 21 3 325-349 2020-10-15T07:41:18Z 2020-10-15T07:41:18Z 2019 Article Fearnley J., Jain S., de Keijzer B., Schewe S., Stephan F., Wojtczak D. (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) : 325-349. ScholarBank@NUS Repository. https://doi.org/10.1007/s10009-019-00509-3 1433-2779 https://scholarbank.nus.edu.sg/handle/10635/177521 Springer Verlag |
institution |
National University of Singapore |
building |
NUS Library |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
NUS Library |
collection |
ScholarBank@NUS |
topic |
Parity games Progress measure Quasi-polynomial |
spellingShingle |
Parity games Progress measure Quasi-polynomial Fearnley J. Jain S. de Keijzer B. Schewe S. Stephan F. Wojtczak D. An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space |
description |
10.1007/s10009-019-00509-3 |
author2 |
DEPARTMENT OF COMPUTER SCIENCE |
author_facet |
DEPARTMENT OF COMPUTER SCIENCE Fearnley J. Jain S. de Keijzer B. Schewe S. Stephan F. Wojtczak D. |
format |
Article |
author |
Fearnley J. Jain S. de Keijzer B. Schewe S. Stephan F. Wojtczak D. |
author_sort |
Fearnley J. |
title |
An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space |
title_short |
An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space |
title_full |
An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space |
title_fullStr |
An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space |
title_full_unstemmed |
An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space |
title_sort |
ordered approach to solving parity games in quasi-polynomial time and quasi-linear space |
publisher |
Springer Verlag |
publishDate |
2020 |
url |
https://scholarbank.nus.edu.sg/handle/10635/177521 |
_version_ |
1800914446046986240 |