Joachim Klein

Experiments with deterministic<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi>ω</mml:mi></mml:math>-automata for formulas of linear temporal logic

Joachim Klein, Christel Baier · Theoretical Computer Science · 2006 · 95 citations

Reduction Techniques for Model Checking Markov Decision Processes

Frank Ciesinski, Christel Baier, Marcus Größer et al. · 2008 · 42 citations

Engineering, Reachability Problem, Verification +17

Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination

Christel Baier, Christian Hensel, Lisa Hutschenreiter et al. · Information and Computation · 2019 · 33 citations

Computational Complexity Theory, Engineering, Parametric Markov Chains +4

Weight monitoring with linear temporal logic

Christel Baier, Joachim Klein, Sascha Klüppelholz et al. · 2014 · 29 citations

Engineering, Verification, Monitoring Dfa +19

Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata

Joachim Klein, Christel Baier, Philipp Chrszon et al. · International Journal on Software Tools for Technology Transfer · 2017 · 28 citations · Full text

Variable Reordering, Logical Automaton, Engineering +12