@misc{indiciaeafc572723886,
  title = {Improved Undecidability Results for Reachability Games on Recursive Timed Automata},
  author = {Shankara Narayanan Krishna and Lakshmi Manasa and Ashutosh Trivedi},
  year = {2014},
  doi = {10.4204/eptcs.161.21},
  url = {https://arxiv.org/abs/1408.5968},
  note = {Source identifier: 1408.5968}
}