Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'

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

Dataset

Description

This artifact accompanies the CAV 2022 paper with the same title. The artifact contains a docker file, which can be unzipped and then loaded with: docker load -i slurf_cav22_docker.tar Please refer to the README for more information.
Date made available6 May 2022
PublisherZenodo

Access Dataset

  • Sampling-Based Verification of CTMCs with Uncertain Rates

    Badings, T. S., Jansen, N., Junges, S., Stoelinga, M. I. A. & Volk, M., 21 Jun 2022, ArXiv.org.

    Research output: Working paper › Preprint › Academic

    File

  • Sampling-Based Verification of CTMCs with Uncertain Rates

    Badings, T. S., Jansen, N., Junges, S., Stoelinga, M. & Volk, M., 6 Aug 2022, Computer Aided Verification (CAV 2022): 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II. Shoham, S. & Vizel, Y. (eds.). Vol. 13372. p. 26-47 22 p. (Lecture notes in computer science; vol. 13372).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    Open Access
    File
    6 Citations (Scopus)
    75 Downloads (Pure)

Cite this