GIST
From MaRDI portal
Cited in
(19)- GAVS
- Comparison of algorithms for simple stochastic games
- MCMAS
- Automatic verification of concurrent stochastic systems
- QUASY
- Automatic verification of competitive stochastic systems
- PRALINE
- PRISM-games
- MOCHA
- PGSolver
- Value iteration for simple stochastic games: stopping criterion and learning algorithm
- Automatic verification of competitive stochastic systems
- Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games
- Quantitative verification and strategy synthesis for stochastic games
- EAGLE
- EVE
- Comparison of algorithms for simple stochastic games
- PRISM-games: a model checker for stochastic multi-player games
- MultiGain
This page was built for software: GIST
