The probabilistic model checking landscape
From MaRDI portal
Recommendations
Cited in
(40)- Formal Verification Based on Guided Random Walks
- Counterexample-guided inductive synthesis for probabilistic systems
- Probabilistic Analysis of Binary Sessions
- Trade-off analysis meets probabilistic model checking
- Constraint-based debugging in probabilistic model checking
- Parameter synthesis for Markov models: covering the parameter space
- Accelerating SpMV multiplication in probabilistic model checkers using GPUs
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
- CTL model checking of MDPs over distribution spaces: algorithms and sampling-based computations
- A counter abstraction technique for verifying properties of probabilistic swarm systems
- Finding provably optimal Markov chains
- Probabilistic Metric Temporal Graph Logic
- Counterexamples in Probabilistic Model Checking
- End-to-end statistical model checking for parametric ODE models
- Mirrors and memory in quantum automata
- scientific article; zbMATH DE number 1786476 (Why is no real title available?)
- Model Checking for Safe Navigation Among Humans
- Bounded model checking for probabilistic programs
- Preface to the special issue on probabilistic model checking
- The 10,000 facets of MDP model checking
- An inductive technique for parameterised model checking of degenerative distributed randomised protocols
- Quantitative Verification of Stochastic Regular Expressions
- \textsf{PFL}: a probabilistic logic for fault trees
- Sampling-Based Verification of CTMCs with Uncertain Rates
- Are parametric Markov chains monotonic?
- Sequential convex programming for the efficient verification of parametric MDPs
- Deniable Functional Encryption
- Distribution, approximation and probabilistic model checking
- Automatically finding the right probabilities in Bayesian networks
- A spectrum of approximate probabilistic bisimulations
- End-to-end statistical model checking for parameterization and stability analysis of ODE models
- Model Checking Probabilistic Pushdown Automata
- Computing expected visiting times and stationary distributions in Markov chains: fast and accurate
- Parameter synthesis in Markov models: a gentle survey
- A probabilistic logic for verifying continuous-time Markov chains
- Using fixed memory blocks in GPUs to accelerate SpMV multiplication in probabilistic model checkers
- Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison
- scientific article; zbMATH DE number 7559459 (Why is no real title available?)
- High-level modelling and efficient analysis of randomized protocols.
- Probabilistic black-box reachability checking (extended version)
This page was built for publication: The probabilistic model checking landscape
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635859)