Maximizing the Conditional Expected Reward for Reaching the Goal

• Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich:
  Maximizing the Conditional Expected Reward for Reaching the Goal (TACAS'17, LNCS 10206)
• Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich:
  Maximizing the Conditional Expected Reward for Reaching the Goal (extended version, arXiv, PDF)

Additional materials

• Implementation and experiments
  The implementation together with the conducted case studies can be downloaded from here.

List of publications of Prof. Baier's group.