Mean-Payoff Games on Timed Automata

Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi. Mean-Payoff Games on Timed Automata. In Akash Lal, S. Akshay, Saket Saurabh, Sandeep Sen, editors, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India. Volume 65 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]

@inproceedings{GuhaJKT16,
  title = {Mean-Payoff Games on Timed Automata},
  author = {Shibashis Guha and Marcin Jurdzinski and Shankara Narayanan Krishna and Ashutosh Trivedi},
  year = {2016},
  doi = {10.4230/LIPIcs.FSTTCS.2016.44},
  url = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2016.44},
  researchr = {https://researchr.org/publication/GuhaJKT16},
  cites = {0},
  citedby = {0},
  booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India},
  editor = {Akash Lal and S. Akshay and Saket Saurabh and Sandeep Sen},
  volume = {65},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-95977-027-9},
}