20 citations · 26 across the 5 of their papers we have counts for
5 papers
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata
Simon Jantsch, David Müller, Christel Baier +1
This paper proposes a new algorithm for the generation of unambiguous Büchi automata (UBA) from LTL formulas. Unlike existing tableau-based LTL-to-UBA translations, our algorithm d…
Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination
Lisa Hutschenreiter, Christel Baier, Joachim Klein
Parametric Markov chains have been introduced as a model for families of stochastic systems that rely on the same graph structure, but differ in the concrete transition probabiliti…
Maximizing the Conditional Expected Reward for Reaching the Goal
Christel Baier, Joachim Klein, Sascha Klüppelholz +1
The paper addresses the problem of computing maximal conditional expected accumulated rewards until reaching a target state (briefly called maximal conditional expectations) in fin…
Rational Bézier Curves Approximated by Bernstein-Jacobi Hybrid Polynomial Curves
Mao Shi
In this paper, we propose a linear method for approximation of rational Bézier curve with arbitrary degree polynomial curve. Based on weighted least-squares, the proble…
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Christel Baier, Marcus Daum, Benjamin Engel +6
Reliability in terms of functional properties from the safety-liveness spectrum is an indispensable requirement of low-level operating-system (OS) code. However, with evermore comp…