PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives

PRISM-games is a tool for modelling, verification and strategy synthesis for stochastic multi-player games. These allow models to incorporate both probability, to represent uncertainty, unreliability or randomisation, and game-theoretic aspects, for systems where different entities have opposing obj...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Kwiatkowska, M, Parker, D, Wiltsche, C
Fformat:	Journal article
Cyhoeddwyd:	Springer Verlag 2017

Eitemau Tebyg

PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
gan: Kwiatkowska, M, et al.
Cyhoeddwyd: (2016)

Compositional strategy synthesis for stochastic games with multiple objectives
gan: Basset, N, et al.
Cyhoeddwyd: (2017)

Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
gan: Basset, N, et al.
Cyhoeddwyd: (2014)

On Stochastic Games with Multiple Objectives
gan: Chen, T, et al.
Cyhoeddwyd: (2013)

Multi-player equilibria verification for concurrent stochastic games
gan: Kwiatkowska, M, et al.
Cyhoeddwyd: (2020)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
gan: Kwiatkowska, M, et al.
Cyhoeddwyd: (2020)

Compositional Controller Synthesis for Stochastic Games
gan: Basset, N, et al.
Cyhoeddwyd: (2014)

Assume-guarantee strategy synthesis for stochastic games
gan: Wiltsche, C
Cyhoeddwyd: (2015)

Quantitative verification and strategy synthesis of stochastic games
gan: Svorenova, M, et al.
Cyhoeddwyd: (2016)

Symbolic verification and strategy synthesis for turn-based stochastic games
gan: Kwiatkowska, M, et al.
Cyhoeddwyd: (2022)

Automated verification of concurrent stochastic games
gan: Kwiatkowska, M, et al.
Cyhoeddwyd: (2018)

Game−Based Probabilistic Predicate Abstraction in PRISM
gan: Kattenbelt, M, et al.
Cyhoeddwyd: (2008)

Game−Based Probabilistic Predicate Abstraction in PRISM
gan: Kattenbelt, M, et al.
Cyhoeddwyd: (2008)

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2020)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
gan: Yan, R, et al.
Cyhoeddwyd: (2024)

Model checking and strategy synthesis for stochastic games: from theory to practice
gan: Kwiatkowska, M
Cyhoeddwyd: (2016)

Strategy synthesis for partially observable stochastic games with neural perception mechanisms
gan: Kwiatkowska, M
Cyhoeddwyd: (2024)

Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games
gan: Santos, GHR
Cyhoeddwyd: (2020)

Rational verification: game-theoretic verification of multi-agent systems
gan: Abate, A, et al.
Cyhoeddwyd: (2021)

Decidability results for multi-objective stochastic games
gan: Brenguier, R, et al.
Cyhoeddwyd: (2016)

Strategy complexity of reachability in countable stochastic 2-player games
gan: Kiefer, S, et al.
Cyhoeddwyd: (2024)

Expectation vs. reality: towards verification of psychological games
gan: Kwiatkowska, M, et al.
Cyhoeddwyd: (2024)

Verification and control of turn-based probabilistic real-time games
gan: Kwiatkowska, M, et al.
Cyhoeddwyd: (2019)

Correlated equilibria and fairness in concurrent stochastic games
gan: Kwiatkowska, M, et al.
Cyhoeddwyd: (2022)

PRISM 4.0: Verification of probabilistic real-time systems
gan: Kwiatkowska, M, et al.
Cyhoeddwyd: (2011)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
gan: Jovanović, A, et al.
Cyhoeddwyd: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
gan: Jovanovic, A, et al.
Cyhoeddwyd: (2014)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
gan: Jovanović, A, et al.
Cyhoeddwyd: (2014)

Partially observable stochastic games with neural perception mechanisms
gan: Yan, R, et al.
Cyhoeddwyd: (2024)

Equilibria-based probabilistic model checking for concurrent stochastic games
gan: Kwiatkowska, M, et al.
Cyhoeddwyd: (2019)

Multi-Player Non-Cooperative Game Strategy of a Nonlinear Stochastic System with Time-Varying Parameters
gan: Xiangyun Lin, et al.
Cyhoeddwyd: (2023-12-01)

A multi-player game equilibrium problem based on stochastic variational inequalities
gan: Cunlin Li, et al.
Cyhoeddwyd: (2024-09-01)

PLAYING STOCHASTIC GAMES PRECISELY
gan: Chen, T, et al.
Cyhoeddwyd: (2012)

Playing Stochastic Games Precisely
gan: Chen, T, et al.
Cyhoeddwyd: (2012)

HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms
gan: Yan, R, et al.
Cyhoeddwyd: (2024)

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games
gan: Yan, R, et al.
Cyhoeddwyd: (2022)

Quantitative Multi-objective Verification for Probabilistic Systems.
gan: Forejt, V, et al.
Cyhoeddwyd: (2011)

PRISM-PSY: Precise GPU-accelerated parameter synthesis for stochastic systems
gan: Češka, M, et al.
Cyhoeddwyd: (2016)

Stochastic games with risk sensitive pay off for n-players
gan: Alain Bensoussan, et al.
Cyhoeddwyd: (2000-11-01)

Automatic verification of concurrent stochastic systems
gan: Kwiatkowska, M, et al.
Cyhoeddwyd: (2021)