Symmetry Reduction for Probabilistic Model Checking
From MaRDI portal
Recommendations
Cited in
(25)- Exploiting symmetry for efficient verification of infinite-state component-based systems
- Symmetry reduction for dynamic programming
- Engineering secure self-adaptive systems with Bayesian games
- A counter abstraction technique for verifying properties of probabilistic swarm systems
- Bayesian statistical model checking with application to Stateflow/Simulink verification
- Symmetry reduction for the local mu-calculus
- Probabilistic model checking of complex biological pathways
- Two-layer symbolic representation for stochastic models with phase-type distributed events
- Finite-horizon bisimulation minimisation for probabilistic systems
- On Abstraction of Probabilistic Systems
- ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM
- Model checking probabilistic systems
- Using symmetry transformations in equivariant dynamical systems for their safety verification
- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
- Three-valued abstraction for probabilistic systems
- Multi-agent safety verification using symmetry transformations
- Distributed Markovian bisimulation reduction aimed at CSL model checking
- Information hiding in probabilistic concurrent systems
- Equivalence checking 40 years after: a review of bisimulation tools
- Efficient approximate verification of B and Z models via symmetry markers
- Process symmetry in probabilistic transducers
- Model checking finite-horizon Markov chains with probabilistic inference
- Minimization of probabilistic models of programs
- On the constructive orbit problem
This page was built for publication: Symmetry Reduction for Probabilistic Model Checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756747)
