Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes

• Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich:
  Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes (CAV'17, Part I, LNCS 10426, Springer)
• Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich:
  Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes (extended version, PDF)

Supplementary materials

• Implementation: prism-cav17-interval-iteration.zip (11MB)
  ZIP file containing the source code of our implementation of interval iteration in PRISM, in the version used for the paper.
  Please have a look at the README-CAV17.txt file contained in the ZIP for documentation (building, parameters, etc).
• Experiments: prism-cav17-experiments.zip (1MB)
  ZIP file containing details for the experiments performed for the paper (models, command lines and resulting log files).
  Please have a look at the README-CAV17-experiments.txt file contained in the ZIP for documentation.

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