Pages that link to "Item:Q2920132"
From MaRDI portal
The following pages link to Verification and refutation of probabilistic specifications via games (Q2920132):
Displaying 7 items.
- Minimal counterexamples for linear-time probabilistic verification (Q402125) (← links)
- A game-based abstraction-refinement framework for Markov decision processes (Q600979) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Verification of multiplayer stochastic games via abstract dependency graphs (Q2119119) (← links)
- A Note on Game Theory and Verification (Q3297580) (← links)
- (Q3384159) (← links)
- Game-Based Probabilistic Predicate Abstraction in PRISM (Q5415661) (← links)