Simple Fixpoint Iteration To Solve Parity Games

2019/01/01

Authors:

Published in: GandALF

Paper

BibTeX entry:

@inproceedings{DijkR19,
 author = {Tom van Dijk and Bob Rubbens},
 booktitle = {GandALF},
 series = {{EPTCS}},
 talk = {2019gandalf_talk.pdf},
 title = {{Simple Fixpoint Iteration To Solve Parity Games}},
 year = {2019}
}