Experimental Results for Sound Value Iteration

This file contains the experimental results for the paper<br>"Sound Value Iteration"<br>by Tim Quatmann and Joost-Pieter Katoen presented at CAV 2018.<br><br>- The directory ./models contains all model files (in the PRISM input language) and the corresponding properties that were considered in the paper.<br>- The directory ./logs/ contains all obtained logfiles, i.e., the output generated by Storm and Prism, respectively.<br>- The file ./data.csv lists model checking times and the number of performed iterations as extracted from the logfiles.