
This artifact complements the paper 'Minimum Reachability Probabilities in Singular Automata with Random Clocks' submitted for QEST 25. The artifact provides a Docker image containing the used RealySt binaries and all dependencies; scripts to compute results for all cases as provided in the paper (i.e., cases A through D, mininmum and maximum reachability probabilities), as well as the original log files used for the tables in the paper. We provide two scripts, 'scripts/compute_results.sh' and 'scripts/replicate_tables.sh', that can be used to replicate the results. The first uses RealySt to compute minimum and maximum reachability probabilities, while the latter parses the log files and creates one csv table each, matching the tables 1 and 2 in the paper. Note that the maximum probabilities that are also provided in Table~1 in the paper are contained in the maximum csv-file. We provide README files to guide the evaluation. The artifact has been prepared and tested using WSL (i.e., on a Windows machine via WSL). The total runtime should be a few minutes maximum and network access is not necessary.
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
