swMATH12934MaRDI QIDQ24857FDOQ24857
Author name not available (Why is that?)
Official website: https://www.prismmodelchecker.org/games/
Source code repository: https://github.com/prismmodelchecker/prism-games
Cited In (55)
- Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16--24, 2013. Proceedings
- Comparison of algorithms for simple stochastic games
- Comparison of algorithms for simple stochastic games
- PuRSUE -- from specification of robotic environments to synthesis of controllers
- Delag
- On Abstraction of Probabilistic Systems
- Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games
- Permissive controller synthesis for probabilistic systems
- A computationally grounded, weighted doxastic logic
- Compositional strategy synthesis for stochastic games with multiple objectives
- Formal system verification. State-of the-art and future trends
- Automatic verification of concurrent stochastic systems
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games
- Quantitative verification and strategy synthesis for stochastic games
- dot
- GAVS
- Natural strategic ability
- PRISM
- TinyOS
- PASS
- Gambit
- iFEST
- MCMAS
- BULL
- GIST
- QUASY
- MOCHA
- PRALINE
- UPPAAL TIGA
- PIC2LNT
- Rapture
- PGSolver
- Storm
- EVE
- mccogwed
- jMocha
- MCMAS-SLK
- BWIBots
- GAMUT
- EAGLE
- Verifying the gaming strategy of self-learning game by using PRISM-games
- MultiGain
- AMT
- ASDeX
- POWER-TRUCTOR
- Verification of multiplayer stochastic games via abstract dependency graphs
- PuRSUE
- Reasoning about equilibria in game-like concurrent systems
- Value iteration for simple stochastic games: stopping criterion and learning algorithm
- ADG
- Advances in Quantitative Verification for Ubiquitous Computing
- Automated verification and strategy synthesis for probabilistic systems
- Title not available (Why is that?)
- Collaborative models for autonomous systems controller synthesis
- Multi-valued verification of strategic ability
This page was built for software: PRISM-games
