GAVS
From MaRDI portal
Software:13084
No author found.
Related Items (8)
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 ⋮ Unnamed Item ⋮ Down the Borel hierarchy: solving Muller games via safety games ⋮ Formulas for computing axode normal and curvatures with derivation based on fundamental concepts of engineering differential geometry ⋮ Comparison of algorithms for simple stochastic games
This page was built for software: GAVS
