Artifact for "CTMCs with Imprecisely Timed Observations"

<p>This artifact contains an implementation of the approach from the paper&nbsp;<em>"CTMCs with Imprecisely Timed Observations" </em>presented at <em>TACAS 2024.</em><br>The implementation is written in Python and builds upon the probabilistic model checker <a href="https://www.stormchecker.org/">Storm</a>.<br>The artifact contains all benchmarks (CTMC models, properties, and evidences) used in the numerical experiments presented in Section 6 of the paper.<br>The artifact allows to reproduce all the results of the numerical experiments, in particular, Table 2 and Figure 6 (in the main paper) and Figure 8 (in the appendix).</p> <p>The artifact is licensed under GPL-3.0<br>Please see the <em>README</em> within the zip archive on how to obtain, build and run the artifact.</p> <p>&nbsp;</p> <p>Requirements:<br>No special requirements are needed, the artifact works without an internet connection.<br>Building the artifact requires 1-2 hours.<br>Running all experiments requires roughly 4 hours.</p>