PRISM-games - MaRDI portal

Cited in

(55)

GAVS
PRISM
TinyOS
Compositional strategy synthesis for stochastic games with multiple objectives
PASS
Gambit
iFEST
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
Verification of multiplayer stochastic games via abstract dependency graphs
MCMAS
Automatic verification of concurrent stochastic systems
QUASY
GIST
BULL
Collaborative models for autonomous systems controller synthesis
PuRSUE -- from specification of robotic environments to synthesis of controllers
Automated temporal equilibrium analysis: verification and synthesis of multi-player games
Natural strategic ability
PRALINE
UPPAAL TIGA
MOCHA
PIC2LNT
Rapture
PGSolver
Value iteration for simple stochastic games: stopping criterion and learning algorithm
Advances in Quantitative Verification for Ubiquitous Computing
Storm
On Abstraction of Probabilistic Systems
Permissive controller synthesis for probabilistic systems
Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games
A computationally grounded, weighted doxastic logic
Quantitative verification and strategy synthesis for stochastic games
Reasoning about equilibria in game-like concurrent systems
mccogwed
jMocha
MCMAS-SLK
BWIBots
GAMUT
EAGLE
EVE
Formal system verification. State-of the-art and future trends
scientific article; zbMATH DE number 7136658 (Why is no real title available?)
Multi-valued verification of strategic ability
Comparison of algorithms for simple stochastic games
Verifying the gaming strategy of self-learning game by using PRISM-games
Automated verification and strategy synthesis for probabilistic systems
POWER-TRUCTOR
ASDeX
AMT
PuRSUE
Delag
dot
ADG
MultiGain

This page was built for software: PRISM-games