Maximizing the Conditional Expected Reward for Reaching the Goal.

Christel Baier, Joachim Klein, Sascha Klppelholz, Sascha Wunderlich

Browse the full TACAS paper archive.