Exact quantitative probabilistic model checking through rational search
From MaRDI portal
Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Markov and semi-Markov decision processes (90C40)
Recommendations
- scientific article; zbMATH DE number 1507207
- Model checking probabilistic systems
- Verification, Model Checking, and Abstract Interpretation
- Ensuring the reliability of your model checker: interval iteration for Markov decision processes
- Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference
Cites work
- scientific article; zbMATH DE number 438994 (Why is no real title available?)
- scientific article; zbMATH DE number 3784244 (Why is no real title available?)
- scientific article; zbMATH DE number 2090709 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Graph-Based Algorithms for Boolean Function Manipulation
- Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
- Model checking of probabilistic and nondeterministic systems
- Optimal search for rationals
- Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
- Quantitative multi-objective verification for probabilistic systems
- Reachability in MDPs: refining convergence of value iteration
- Reliability Analysis of Large Circuits Using Scalable Techniques and Tools
- Sylvan
- The demand for reliability in probabilistic verification
- The dining cryptographers problem: Unconditional sender and recipient untraceability
- Theoretical Aspects of Computing - ICTAC 2004
- Value Iteration
- Verification of Markov decision processes using learning algorithms
Cited in
(7)- Probabilistic model checking for energy-utility analysis
- scientific article; zbMATH DE number 7333237 (Why is no real title available?)
- Euclidean model checking: a scalable method for verifying quantitative properties in probabilistic systems
- Preface of the special issue on the conference on formal methods in computer-aided design 2017
- Confidence bounds for statistical model checking of probabilistic hybrid systems
- A practitioner's guide to MDP model checking algorithms
- Evaluating probabilistic model checking tools for verification of robot control policies
This page was built for publication: Exact quantitative probabilistic model checking through rational search
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2225475)
