@inproceedings{dblp-conf-time-krishnamt15,
  title = {Reachability Games on Recursive Hybrid Automata},
  author = {Shankara Narayanan Krishna and Lakshmi Manasa and Ashutosh Trivedi},
  year = {2015},
  url = {https://dblp.org/rec/conf/time/KrishnaMT15},
  booktitle = {TIME 2015}
}