Joachim Klein | DeepAI

DeepAI

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

Featured Co-authors

Christel Baier
32 publications
Marcus Völp
10 publications
Hermann Härtig
6 publications
Lisa Hutschenreiter
4 publications
Hendrik Tews
2 publications
Steffen Märcker
1 publication
Marcus Daum
1 publication
Benjamin Engel
1 publication
Sascha Klüppelholz
1 publication

research

∙ 09/07/2017

Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination

Parametric Markov chains have been introduced as a model for families of...

0 Lisa Hutschenreiter, et al. ∙

research

∙ 11/27/2012

Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

Reliability in terms of functional properties from the safety-liveness s...

0 Christel Baier, et al. ∙