Symbolic Parity Game Solvers that Yield Winning Strategies

2020/01/01

Authors:

Published in: GandALF pp 18–32

DOI: 10.4204/EPTCS.326.2

Paper

BibTeX entry:

@inproceedings{DBLP:journals/corr/abs-2009-10876,
 author = {Oebele Lijzenga and
Tom van Dijk},
 booktitle = {GandALF},
 doi = {10.4204/EPTCS.326.2},
 pages = {18--32},
 series = {{EPTCS}},
 title = {Symbolic Parity Game Solvers that Yield Winning Strategies},
 volume = {326},
 year = {2020}
}