@misc{indiciae1c158b01eefc,
  title = {Safe \& Robust Reachability Analysis of Hybrid Systems},
  author = {Eugenio Moggi and Amin Farjudian and Adam Duracz and Walid Taha},
  year = {2017},
  doi = {10.1016/j.tcs.2018.06.020},
  url = {https://arxiv.org/abs/1709.05658},
  note = {Source identifier: 1709.05658}
}