@misc{indiciaec22a873c36a5,
  title = {Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems},
  author = {Hui Kong and Fei He and Xiaoyu Song and William N. N. Hung and Ming Gu},
  year = {2013},
  url = {https://arxiv.org/abs/1303.6885},
  note = {Source identifier: 1303.6885}
}