@article{dblp-journals-corr-krishnamt14a,
  title = {Improved Undecidability Results for Reachability Games on Recursive Timed Automata},
  author = {Shankara Narayanan Krishna and Lakshmi Manasa and Ashutosh Trivedi},
  year = {2014},
  url = {https://dblp.org/rec/journals/corr/KrishnaMT14a},
  journal = {GandALF 2014}
}