@inproceedings{dblp-conf-icalp-schewetv15,
  title = {Symmetric Strategy Improvement},
  author = {Sven Schewe and Ashutosh Trivedi and Thomas Varghese},
  year = {2015},
  url = {https://dblp.org/rec/conf/icalp/ScheweTV15},
  booktitle = {ICALP (2) 2015}
}