@inproceedings{dblp-conf-fsttcs-guhajkt16,
  title = {Mean-Payoff Games on Timed Automata},
  author = {Shibashis Guha and Marcin Jurdzinski and Shankara Narayanan Krishna and Ashutosh Trivedi},
  year = {2016},
  url = {https://dblp.org/rec/conf/fsttcs/GuhaJKT16},
  booktitle = {FSTTCS 2016}
}