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