@misc{indiciae47b6b4673510,
  title = {Delta-Complete Analysis for Bounded Reachability of Hybrid Systems},
  author = {Sicun Gao and Soonho Kong and Wei Chen and Edmund Clarke},
  year = {2014},
  url = {https://arxiv.org/abs/1404.7171},
  note = {Source identifier: 1404.7171}
}