We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Sampling-Based Verification of CTMCs with Uncertain Rates

Abstract: We employ uncertain parametric CTMCs with parametric transition rates and a prior on the parameter values. The prior encodes uncertainty about the actual transition rates, while the parameters allow dependencies between transition rates. Sampling the parameter values from the prior distribution then yields a standard CTMC, for which we may compute relevant reachability probabilities. We provide a principled solution, based on a technique called scenario-optimization, to the following problem: From a finite set of parameter samples and a user-specified confidence level, compute prediction regions on the reachability probabilities. The prediction regions should (with high probability) contain the reachability probabilities of a CTMC induced by any additional sample. To boost the scalability of the approach, we employ standard abstraction techniques and adapt our methodology to support approximate reachability probabilities. Experiments with various well-known benchmarks show the applicability of the approach.
Subjects: Logic in Computer Science (cs.LO); Optimization and Control (math.OC)
Cite as: arXiv:2205.08300 [cs.LO]
  (or arXiv:2205.08300v3 [cs.LO] for this version)

Submission history

From: Thom Badings [view email]
[v1] Tue, 17 May 2022 12:56:51 GMT (1716kb,D)
[v2] Fri, 20 May 2022 14:20:56 GMT (1713kb,D)
[v3] Tue, 21 Jun 2022 20:48:50 GMT (1739kb,D)

Link back to: arXiv, form interface, contact.