Stuttering Mostly Speeds Up Solving Parity Games

@inproceedings{Cranen2011StutteringMS,
  title={Stuttering Mostly Speeds Up Solving Parity Games},
  author={Sjoerd Cranen and Jeroen Keiren and Tim A. C. Willemse},
  booktitle={NASA Formal Methods},
  year={2011}
}