@misc{dblp-journals-corr-abs-1001-1933,
  title = {Quantitative Games on Probabilistic Timed Automata},
  author = {Marta Z. Kwiatkowska and Gethin Norman and Ashutosh Trivedi},
  year = {2010},
  url = {https://dblp.org/rec/journals/corr/abs-1001-1933},
  eprint = {1001.1933},
  archivePrefix = {arXiv}
}