@misc{indiciaeed32543dd893,
  title = {Average-Time Games on Timed Automata},
  author = {Marcin Jurdzinski and Ashutosh Trivedi},
  year = {2009},
  doi = {10.4230/lipics.fsttcs.2008.1765},
  url = {https://arxiv.org/abs/0910.2891},
  note = {Source identifier: 0910.2891}
}