TY  - RPRT
TI  - Sampling-Based Verification of CTMCs with Uncertain Rates
AU  - Thom S. Badings
AU  - Nils Jansen
AU  - Sebastian Junges
AU  - Marielle Stoelinga
AU  - Matthias Volk
PY  - 2022
DO  - 10.1007/978-3-031-13188-2_2
UR  - https://arxiv.org/abs/2205.08300
ID  - 2205.08300
ER  -