%0 Journal Article %1 journals/corr/abs-2205-08300 %A Badings, Thom S. %A Jansen, Nils %A Junges, Sebastian %A Stoelinga, Mariëlle %A Volk, Matthias %D 2022 %J CoRR %K dblp %T Sampling-Based Verification of CTMCs with Uncertain Rates. %U http://dblp.uni-trier.de/db/journals/corr/corr2205.html#abs-2205-08300 %V abs/2205.08300

@article{journals/corr/abs-2205-08300, added-at = {2024-05-07T00:00:00.000+0200}, author = {Badings, Thom S. and Jansen, Nils and Junges, Sebastian and Stoelinga, Mariëlle and Volk, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/234408fd824e65ca27e2b6b7ae2871dc4/dblp}, ee = {https://doi.org/10.48550/arXiv.2205.08300}, interhash = {b442f713cdbd86fe48e7a5d8962a4a5e}, intrahash = {34408fd824e65ca27e2b6b7ae2871dc4}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-05-13T07:38:16.000+0200}, title = {Sampling-Based Verification of CTMCs with Uncertain Rates.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2205.html#abs-2205-08300}, volume = {abs/2205.08300}, year = 2022 }