Pages that link to "Item:Q3600474"
From MaRDI portal
The following pages link to Abstraction Refinement for Probabilistic Software (Q3600474):
Displayed 11 items.
- A game-based abstraction-refinement framework for Markov decision processes (Q600979) (← links)
- A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
- Abstract model repair for probabilistic systems (Q1706149) (← links)
- Model checking Markov population models by stochastic approximations (Q1784959) (← links)
- A denotational semantics for low-level probabilistic programs with nondeterminism (Q2133180) (← links)
- Model checking single agent behaviours by fluid approximation (Q2346412) (← links)
- Local abstraction refinement for probabilistic timed programs (Q2453108) (← links)
- Model checking for performability (Q2843861) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- Compositional Abstraction for Stochastic Systems (Q3648832) (← links)
- Stochastic Games for Verification of Probabilistic Timed Automata (Q3648833) (← links)