Sampling-Based Verification of CTMCs with Uncertain Rates
From MaRDI portal
Publication:6399373
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
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