1 citations · 1 across the 10 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.DS2019
Computation and verification of contraction metrics for exponentially stable equilibria
Peter Giesl, Sigurdur Hafstein, Iman Mehrabinezhad
The determination of exponentially stable equilibria and their basin of attraction for a dynamical system given by a general autonomous ordinary differential equation can be achiev…
cs.LO2019
Computing Expected Runtimes for Constant Probability Programs
Jürgen Giesl, Peter Giesl, Marcel Hark
We introduce the class of constant probability (CP) programs and show that classical results from probability theory directly yield a simple decision procedure for (positive) almos…