Sampling-Based Verification of CTMCs with Uncertain Rates (Q6399373)
From MaRDI portal
scientific article; zbMATH DE number 7628138
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sampling-Based Verification of CTMCs with Uncertain Rates |
scientific article; zbMATH DE number 7628138 |
Statements
17 May 2022
0 references
cs.LO
0 references
math.OC
0 references
Sampling-Based Verification of CTMCs with Uncertain Rates (English)
0 references
0 references
0 references
