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
  We'd be happy to provide you with a ZIP of our prototypical implementation of the algorithms in the paper and details on the experiments on request. Please contact klein@tcs.inf.tu-dresden.de.

List of publications of Prof. Baier's group.