Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems.

Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu

Browse the full CAV paper archive.