swMATH9876MaRDI QIDQ21855FDOQ21855
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-642-14295-6_57
Cited In (19)
- Comparison of algorithms for simple stochastic games
- Comparison of algorithms for simple stochastic games
- Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games
- Automatic verification of concurrent stochastic systems
- Quantitative verification and strategy synthesis for stochastic games
- GAVS
- MCMAS
- QUASY
- MOCHA
- PRALINE
- PRISM-games
- PGSolver
- EVE
- EAGLE
- MultiGain
- Value iteration for simple stochastic games: stopping criterion and learning algorithm
- Automatic verification of competitive stochastic systems
- PRISM-games: a model checker for stochastic multi-player games
- Automatic verification of competitive stochastic systems
This page was built for software: GIST
