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…