@inproceedings{dblp-conf-atva-krishnakstt17,
  title = {The Reach-Avoid Problem for Constant-Rate Multi-mode Systems},
  author = {Shankara Narayanan Krishna and Aviral Kumar and Fabio Somenzi and Behrouz Touri and Ashutosh Trivedi},
  year = {2017},
  url = {https://dblp.org/rec/conf/atva/KrishnaKSTT17},
  booktitle = {ATVA 2017}
}