PRISM-games - MaRDI portal

Author name not available (Why is that?)

Official website: https://www.prismmodelchecker.org/games/

Source code repository: https://github.com/prismmodelchecker/prism-games

Described by source

PRISM-games: a model checker for stochastic multi-player games

Cited In (32)

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
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
GAVS
Natural strategic ability
PASS
MCMAS
QUASY
PIC2LNT
Rapture
EVE
GAMUT
EAGLE
Verifying the gaming strategy of self-learning game by using PRISM-games
Verification of multiplayer stochastic games via abstract dependency graphs
Reasoning about equilibria in game-like concurrent systems
Value iteration for simple stochastic games: stopping criterion and learning algorithm
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