Sampling-Based Verification of CTMCs with Uncertain Rates
Authors: Thom Badings, Nils Jansen, Sebastian Junges, Marielle Stoelinga and Matthias Volk
Paper Information
| Title: | Sampling-Based Verification of CTMCs with Uncertain Rates |
| Authors: | Thom Badings, Nils Jansen, Sebastian Junges, Marielle Stoelinga and Matthias Volk |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Parametric continuous-time Markov chains, Scenario optimization, Uncertainty, Probabilistic model checking |
| Pages: | 22 |
| Talk: | Aug 08 16:20 (Session 98A: Probabilistic Techniques) |
| Paper: |  |