Computing Conditional Probabilities in Markovian Models Efficiently

• Christel Baier, Joachim Klein, Sascha Klüppelholz, Steffen Märcker:
  Computing Conditional Probabilities in Markovian Models Efficiently (TACAS'14, LNCS 8413)
• Christel Baier, Joachim Klein, Sascha Klüppelholz, Steffen Märcker:
  Computing Conditional Probabilities in Markovian Models Efficiently (extended version, PDF)

List of publications of Prof. Baier's group.