@misc{indiciaea0b72aad5bb2,
  title = {Quantitative Games on Probabilistic Timed Automata},
  author = {Marta Kwiatkowska and Gethin Norman and Ashutosh Trivedi},
  year = {2010},
  url = {https://arxiv.org/abs/1001.1933},
  note = {Source identifier: 1001.1933}
}