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...

Полное описание

Библиографические подробности
Главные авторы:	Kwiatkowska, M, Parker, D, Wiltsche, C
Формат:	Journal article
Опубликовано:	Springer Verlag 2017

Схожие документы

PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
по: Kwiatkowska, M, и др.
Опубликовано: (2016)

Compositional strategy synthesis for stochastic games with multiple objectives
по: Basset, N, и др.
Опубликовано: (2017)

Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
по: Basset, N, и др.
Опубликовано: (2014)

On Stochastic Games with Multiple Objectives
по: Chen, T, и др.
Опубликовано: (2013)

Multi-player equilibria verification for concurrent stochastic games
по: Kwiatkowska, M, и др.
Опубликовано: (2020)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
по: Kwiatkowska, M, и др.
Опубликовано: (2020)

Compositional Controller Synthesis for Stochastic Games
по: Basset, N, и др.
Опубликовано: (2014)

Assume-guarantee strategy synthesis for stochastic games
по: Wiltsche, C
Опубликовано: (2015)

Quantitative verification and strategy synthesis of stochastic games
по: Svorenova, M, и др.
Опубликовано: (2016)

Symbolic verification and strategy synthesis for turn-based stochastic games
по: Kwiatkowska, M, и др.
Опубликовано: (2022)

Automated verification of concurrent stochastic games
по: Kwiatkowska, M, и др.
Опубликовано: (2018)

Game−Based Probabilistic Predicate Abstraction in PRISM
по: Kattenbelt, M, и др.
Опубликовано: (2008)

Game−Based Probabilistic Predicate Abstraction in PRISM
по: Kattenbelt, M, и др.
Опубликовано: (2008)

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
по: Gutierrez, J, и др.
Опубликовано: (2020)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
по: Yan, R, и др.
Опубликовано: (2024)

Model checking and strategy synthesis for stochastic games: from theory to practice
по: Kwiatkowska, M
Опубликовано: (2016)

Strategy synthesis for partially observable stochastic games with neural perception mechanisms
по: Kwiatkowska, M
Опубликовано: (2024)

Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games
по: Santos, GHR
Опубликовано: (2020)

Rational verification: game-theoretic verification of multi-agent systems
по: Abate, A, и др.
Опубликовано: (2021)

Decidability results for multi-objective stochastic games
по: Brenguier, R, и др.
Опубликовано: (2016)

Strategy complexity of reachability in countable stochastic 2-player games
по: Kiefer, S, и др.
Опубликовано: (2024)

Expectation vs. reality: towards verification of psychological games
по: Kwiatkowska, M, и др.
Опубликовано: (2024)

Verification and control of turn-based probabilistic real-time games
по: Kwiatkowska, M, и др.
Опубликовано: (2019)

Correlated equilibria and fairness in concurrent stochastic games
по: Kwiatkowska, M, и др.
Опубликовано: (2022)

PRISM 4.0: Verification of probabilistic real-time systems
по: Kwiatkowska, M, и др.
Опубликовано: (2011)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
по: Jovanović, A, и др.
Опубликовано: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
по: Jovanovic, A, и др.
Опубликовано: (2014)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
по: Jovanović, A, и др.
Опубликовано: (2014)

Partially observable stochastic games with neural perception mechanisms
по: Yan, R, и др.
Опубликовано: (2024)

Equilibria-based probabilistic model checking for concurrent stochastic games
по: Kwiatkowska, M, и др.
Опубликовано: (2019)

Multi-Player Non-Cooperative Game Strategy of a Nonlinear Stochastic System with Time-Varying Parameters
по: Xiangyun Lin, и др.
Опубликовано: (2023-12-01)

A multi-player game equilibrium problem based on stochastic variational inequalities
по: Cunlin Li, и др.
Опубликовано: (2024-09-01)

PLAYING STOCHASTIC GAMES PRECISELY
по: Chen, T, и др.
Опубликовано: (2012)

Playing Stochastic Games Precisely
по: Chen, T, и др.
Опубликовано: (2012)

HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms
по: Yan, R, и др.
Опубликовано: (2024)

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games
по: Yan, R, и др.
Опубликовано: (2022)

Quantitative Multi-objective Verification for Probabilistic Systems.
по: Forejt, V, и др.
Опубликовано: (2011)

PRISM-PSY: Precise GPU-accelerated parameter synthesis for stochastic systems
по: Češka, M, и др.
Опубликовано: (2016)

Stochastic games with risk sensitive pay off for n-players
по: Alain Bensoussan, и др.
Опубликовано: (2000-11-01)

Automatic verification of concurrent stochastic systems
по: Kwiatkowska, M, и др.
Опубликовано: (2021)