GIST
From MaRDI portal
Software:21855
No author found.
Related Items (9)
Automatic Verification of Competitive Stochastic Systems ⋮ Automatic verification of concurrent stochastic systems ⋮ Quantitative verification and strategy synthesis for stochastic games ⋮ PRISM-games: A Model Checker for Stochastic Multi-Player Games ⋮ Value iteration for simple stochastic games: stopping criterion and learning algorithm ⋮ Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games ⋮ Unnamed Item ⋮ Automatic verification of competitive stochastic systems ⋮ Comparison of algorithms for simple stochastic games
This page was built for software: GIST
