Peter Giesl | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙