Peter Giesl | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Jürgen Giesl
21 publications
Marcel Hark
5 publications
Sigurdur Hafstein
1 publication
Iman Mehrabinezhad
1 publication

research

∙ 09/20/2019

Computation and verification of contraction metrics for exponentially stable equilibria

The determination of exponentially stable equilibria and their basin of ...

0 Peter Giesl, et al. ∙

research

∙ 05/23/2019

Computing Expected Runtimes for Constant Probability Programs

We introduce the class of constant probability (CP) programs and show th...

0 Jürgen Giesl, et al. ∙