TY  - RPRT
TI  - Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
AU  - Hui Kong
AU  - Fei He
AU  - Xiaoyu Song
AU  - William N. N. Hung
AU  - Ming Gu
PY  - 2013
UR  - https://arxiv.org/abs/1303.6885
ID  - 1303.6885
ER  -