Merkliste 
 1 Ergebnisse 
 
1

Comparison of overapproximation methods for stability analy..:

, In: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control,