Pages that link to "Item:Q5756747"
From MaRDI portal
The following pages link to Symmetry Reduction for Probabilistic Model Checking (Q5756747):
Displaying 17 items.
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- Information hiding in probabilistic concurrent systems (Q549174) (← links)
- Model checking finite-horizon Markov chains with probabilistic inference (Q832295) (← links)
- Minimization of probabilistic models of programs (Q906254) (← links)
- On the constructive orbit problem (Q976988) (← links)
- Symmetry reduction for dynamic programming (Q1716553) (← links)
- Engineering secure self-adaptive systems with Bayesian games (Q2044181) (← links)
- A counter abstraction technique for verifying properties of probabilistic swarm systems (Q2124442) (← links)
- Bayesian statistical model checking with application to Stateflow/Simulink verification (Q2248081) (← links)
- Probabilistic model checking of complex biological pathways (Q2474435) (← links)
- Two-layer symbolic representation for stochastic models with phase-type distributed events (Q2792888) (← links)
- On Abstraction of Probabilistic Systems (Q2937733) (← links)
- ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM (Q2948486) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification (Q3297587) (← links)
- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems (Q3393382) (← links)
- Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking (Q5415660) (← links)
