@misc{indiciae0be09c4f0b01,
  title = {Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation},
  author = {Zhengfeng Yang and Min Wu and Wang Lin},
  year = {2013},
  url = {https://arxiv.org/abs/1302.5974},
  note = {Source identifier: 1302.5974}
}