Artifact for "CTMCs with Imprecisely Timed Observations"

  • Thom Badings (Creator)
  • Matthias Volk (Eindhoven University of Technology) (Creator)
  • Sebastian Junges (Creator)
  • Mariëlle I.A. Stoelinga (Creator)
  • Nils Jansen (Creator)

Dataset

Description

This artifact contains an implementation of the approach from the paper "CTMCs with Imprecisely Timed Observations" presented at TACAS 2024. The implementation is written in Python and builds upon the probabilistic model checker Storm. The artifact contains all benchmarks (CTMC models, properties, and evidences) used in the numerical experiments presented in Section 6 of the paper. 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). The artifact is licensed under GPL-3.0 Please see the README within the zip archive on how to obtain, build and run the artifact. Requirements: No special requirements are needed, the artifact works without an internet connection. Building the artifact requires 1-2 hours. Running all experiments requires roughly 4 hours.
Date made available28 Dec 2023
PublisherZenodo
  • CTMCs with Imprecisely Timed Observations

    Badings, T., Volk, M., Junges, S., Stoelinga, M. & Jansen, N., 5 Apr 2024, Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II. Finkbeiner, B. & Kovács, L. (eds.). Springer, p. 258-278 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    42 Downloads (Pure)
  • CTMCs with Imprecisely Timed Observations

    Badings, T., Volk, M., Junges, S., Stoelinga, M. & Jansen, N., 12 Jan 2024, ArXiv.org.

    Research output: Working paperPreprintAcademic

    Open Access
    File
    31 Downloads (Pure)

Cite this