@misc{indiciae07d2254824bb,
  title = {Parallel Reachability Analysis for Hybrid Systems},
  author = {Amit Gurung and Arup Deka and Ezio Bartocci and Sergiy Bogomolov and Radu Grosu and Rajarshi Ray},
  year = {2016},
  doi = {10.1109/memcod.2016.7797741},
  url = {https://arxiv.org/abs/1606.05473},
  note = {Source identifier: 1606.05473}
}