Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions.

Zhikun She, Dan Song, Meilun Li

Browse the full CASC paper archive.