Solving Parity Games, Very Slowly

2024/01/01

Authors:

Published in: Principles of Verification {(3)} pp 446–465

DOI: 10.1007/978-3-031-75778-5_21

Paper

BibTeX entry:

@inproceedings{DBLP:conf/birthday/Dijk25,
 author = {Tom van Dijk},
 booktitle = {Principles of Verification {(3)}},
 doi = {10.1007/978-3-031-75778-5_21},
 pages = {446--465},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {Solving Parity Games, Very Slowly},
 volume = {15262},
 year = {2024}
}