Computing Conditional Probabilities: Implementation and Evaluation

Thank you for your interest in the extended version of our SEFM'17 paper, the implemenation, and the additional materials.

• Steffen Märcker, Christel Baier, Joachim Klein, and Sascha Klüppelholz:
  Computing Conditional Probabilities: Implementation and Evaluation (SEFM'17, LNCS 10469, Springer)
• Steffen Märcker, Christel Baier, Joachim Klein, and Sascha Klüppelholz:
  Computing Conditional Probabilities: Implementation and Evaluation (extended version, PDF)

Supplementary materials

Sources

• Implementation: prism-conditional.zip (12 MB)
  source code of PRISM featuring the enhanced implementation for computing conditional probabilities as used for this paper
• Implementation: prism-tacas14.tgz (8 MB)
  source code of PRISM featuring the prototype implementation for computing conditional probabilities as used for our TACAS'14 paper: Computing conditional probabilities in Markovian models efficiently
• Experiments: benchmarks.zip (1 MB)
  models, properties, and experiment setup used for the benchmarks of this paper

Results

• Tables: results.csv.zip (1 MB)
  results in CSV format, aggregated from all experiment runs
• Log Files: results.log.zip (37 MB)
  raw PRISM log files from all experiment runs

Presentation Slides

• Slides: talk.pdf (1 MB)
  presentation slides from the talk at SEFM'17

List of publications of Prof. Baier's group, PRISM publications.