Symmetry Reduction for Probabilistic Model Checking
From MaRDI portal
Publication:5756747
DOI10.1007/11817963_23zbMath1188.68194OpenAlexW1603153151MaRDI QIDQ5756747
No author found.
Publication date: 5 September 2007
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11817963_23
Related Items
A counter abstraction technique for verifying properties of probabilistic swarm systems, Model checking finite-horizon Markov chains with probabilistic inference, Model Checking Probabilistic Systems, On Abstraction of Probabilistic Systems, ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM, Equivalence checking 40 years after: a review of bisimulation tools, Minimization of probabilistic models of programs, Three-valued abstraction for probabilistic systems, Symmetry reduction for dynamic programming, Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification, Bayesian statistical model checking with application to Stateflow/Simulink verification, Probabilistic model checking of complex biological pathways, Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking, Information hiding in probabilistic concurrent systems, On the constructive orbit problem, Two-layer symbolic representation for stochastic models with phase-type distributed events, Engineering secure self-adaptive systems with Bayesian games, A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
