52 citations · 217 across the 36 of their papers we have counts for
Showing 2017 · cs.LOShow all
2 papers · 2 filters
cs.LO2017★ 20 cited
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…
cs.LO2017
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…