DMCA

Revisiting the Complexity of Stability of Continuous and Hybrid Systems (2014)

by Sicun Gao , Soonho Kong , Edmund M. Clarke