GAVS
From MaRDI portal
Software:13084
swMATH323MaRDI QIDQ13084FDOQ13084
Author name not available (Why is that?)
Cited In (8)
- 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
- Quantitative verification and strategy synthesis for stochastic games
- PRISM-games: A Model Checker for Stochastic Multi-Player Games
- Down the Borel hierarchy: solving Muller games via safety games
- Title not available (Why is that?)
- Value iteration for simple stochastic games: stopping criterion and learning algorithm
This page was built for software: GAVS
