An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary.

Pavithra Prabhakar, Miriam Garcia Soto

Browse the full CAV paper archive.