Sampling-Based Verification of CTMCs with Uncertain Rates

DOI10.1007/978-3-031-13188-2_2zbMath1514.68117arXiv2205.08300OpenAlexW4289874404MaRDI QIDQ6399373

Nils Jansen, Matthias Volk, Mariëlle I. A. Stoelinga, Thom S. Badings, Sebastian Junges

Publication date: 17 May 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-13188-2_2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions ⋮ Parameter synthesis in Markov models: a gentle survey ⋮ Sampling-Based Verification of CTMCs with Uncertain Rates

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Smoothed model checking for uncertain continuous-time Markov chains
• A sampling-and-discarding approach to chance-constrained optimization: feasibility and Optimality
• Wait-and-judge scenario optimization
• Lumpability for uncertain continuous-time Markov chains
• Discrete time Markov chains with interval probabilities
• Stochastic epidemic models and their statistical analysis
• Bounded-parameter Markov decision processes
• Statistical model checking
• Risk and complexity in scenario optimization
• Bayesian statistical parameter synthesis for linear temporal properties of stochastic models
• Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools
• Precise parameter synthesis for stochastic biochemical systems
• Statistical probabilistic model checking with a focus on time-bounded properties
• Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties
• The Exact Feasibility of Randomized Solutions of Uncertain Convex Programs
• Introduction to the Scenario Approach
• The Probabilistic Model Checking Landscape
• Scenario-Based Verification of Uncertain MDPs
• The Scenario Approach to Robust Control Design
• Theoretical Aspects of Computing - ICTAC 2004
• Computer Aided Verification
• Model-checking continuous-time Markov chains
• Tools and Algorithms for the Construction and Analysis of Systems
• Sampling-Based Verification of CTMCs with Uncertain Rates

This page was built for publication: Sampling-Based Verification of CTMCs with Uncertain Rates