4 citations · 8 across the 8 of their papers we have counts for
1 paper · 2 filters
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…