GAVS
From MaRDI portal
Cited in
(15)- Comparison of algorithms for simple stochastic games
- Comparison of algorithms for simple stochastic games
- Formulas for computing axode normal and curvatures with derivation based on fundamental concepts of engineering differential geometry
- Automatic verification of concurrent stochastic systems
- GIST
- QUASY
- PRALINE
- PRISM-games
- EVE
- EAGLE
- Quantitative verification and strategy synthesis for stochastic games
- MultiGain
- Down the Borel hierarchy: solving Muller games via safety games
- Value iteration for simple stochastic games: stopping criterion and learning algorithm
- PRISM-games: a model checker for stochastic multi-player games
This page was built for software: GAVS
