GIST
From MaRDI portal
Software:21855
swMATH9876MaRDI QIDQ21855FDOQ21855
Author name not available (Why is that?)
Cited In (9)
- Comparison of algorithms for simple stochastic games
- Automatic Verification of Competitive Stochastic Systems
- Automatic verification of concurrent stochastic systems
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games
- Quantitative verification and strategy synthesis for stochastic games
- PRISM-games: A Model Checker for Stochastic Multi-Player Games
- Title not available (Why is that?)
- Value iteration for simple stochastic games: stopping criterion and learning algorithm
- Automatic verification of competitive stochastic systems
This page was built for software: GIST
