Sampling-Based Verification of CTMCs with Uncertain Rates

Thom S. Badings^*, Nils Jansen, Sebastian Junges, Marielle Stoelinga, Matthias Volk

^*Corresponding author for this work

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

7 Citations (Scopus)

103 Downloads (Pure)

1 results
- Title
- Start date(ascending)

Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'
Badings, T. (Creator), Junges, S. (Creator), Jansen, N. (Creator), Stoelinga, M. (Creator) & Volk, M. (Creator), Zenodo, 6 May 2022
DOI: 10.5281/zenodo.6523864, https://zenodo.org/record/6523864
Dataset