@misc{indiciaea3c839cafbd2,
  title = {A Faster Algorithm for Solving One-Clock Priced Timed Games},
  author = {Thomas Dueholm Hansen and Rasmus Ibsen-Jensen and Peter Bro Miltersen},
  year = {2013},
  url = {https://arxiv.org/abs/1201.3498},
  note = {Source identifier: 1201.3498}
}