Artifact for: Minimum Reachability Probabilities in Rectangular Automata with Random Clocks

Zenodo (CERN European Organization for Nuclear Research)

Abstract

This artifact supports the paper "Minimum Reachability Probabilities in Rectangular Automata with Random Clocks" submitted for SPIN 2026. The artifact reproduces the results of 1) the car case study from Section 5 (Table 1) and 2) the small examples from Appendix A.8 (Table 2). The artifacts contains a docker image that contains the realyst tool as well as necessary dependencies, scripts to recompute the results from the paper and create csv tables, as well as the original results that are used for the paper.

Authors 3

1. Joanna Delicaris

   University of Münster

   Affiliation as printed

   University of Münster

2. Erika Ábrahám Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

3. Anne Remke

   University of Münster

   Affiliation as printed

   University of Münster