activity
20122026
most citedChiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

5 citations · 6 across the 10 of their papers we have counts for

collaborators
Showing 2017Show all

1 paper · 1 filter

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…