35 citations · 46 across the 6 of their papers we have counts for
1 paper · 1 filter
Janin Heuer, Timo de Wolff
Certifying the stability of dynamical systems is a central and challenging task in control theory and systems analysis. To tackle these problems we present an algorithmic approach…