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

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy:	Kwiatkowska, M, Parker, D, Wiltsche, C
Format:	Journal article
Wydane:	Springer Verlag 2017

Podobne zapisy

PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
od: Kwiatkowska, M, i wsp.
Wydane: (2016)

Compositional strategy synthesis for stochastic games with multiple objectives
od: Basset, N, i wsp.
Wydane: (2017)

Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
od: Basset, N, i wsp.
Wydane: (2014)

On Stochastic Games with Multiple Objectives
od: Chen, T, i wsp.
Wydane: (2013)

Multi-player equilibria verification for concurrent stochastic games
od: Kwiatkowska, M, i wsp.
Wydane: (2020)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
od: Kwiatkowska, M, i wsp.
Wydane: (2020)

Compositional Controller Synthesis for Stochastic Games
od: Basset, N, i wsp.
Wydane: (2014)

Assume-guarantee strategy synthesis for stochastic games
od: Wiltsche, C
Wydane: (2015)

Quantitative verification and strategy synthesis of stochastic games
od: Svorenova, M, i wsp.
Wydane: (2016)

Symbolic verification and strategy synthesis for turn-based stochastic games
od: Kwiatkowska, M, i wsp.
Wydane: (2022)

Automated verification of concurrent stochastic games
od: Kwiatkowska, M, i wsp.
Wydane: (2018)

Game−Based Probabilistic Predicate Abstraction in PRISM
od: Kattenbelt, M, i wsp.
Wydane: (2008)

Game−Based Probabilistic Predicate Abstraction in PRISM
od: Kattenbelt, M, i wsp.
Wydane: (2008)

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
od: Gutierrez, J, i wsp.
Wydane: (2020)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
od: Yan, R, i wsp.
Wydane: (2024)

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

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

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

Rational verification: game-theoretic verification of multi-agent systems
od: Abate, A, i wsp.
Wydane: (2021)

Decidability results for multi-objective stochastic games
od: Brenguier, R, i wsp.
Wydane: (2016)

Strategy complexity of reachability in countable stochastic 2-player games
od: Kiefer, S, i wsp.
Wydane: (2024)

Expectation vs. reality: towards verification of psychological games
od: Kwiatkowska, M, i wsp.
Wydane: (2024)

Verification and control of turn-based probabilistic real-time games
od: Kwiatkowska, M, i wsp.
Wydane: (2019)

Correlated equilibria and fairness in concurrent stochastic games
od: Kwiatkowska, M, i wsp.
Wydane: (2022)

PRISM 4.0: Verification of probabilistic real-time systems
od: Kwiatkowska, M, i wsp.
Wydane: (2011)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
od: Jovanović, A, i wsp.
Wydane: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
od: Jovanovic, A, i wsp.
Wydane: (2014)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
od: Jovanović, A, i wsp.
Wydane: (2014)

Partially observable stochastic games with neural perception mechanisms
od: Yan, R, i wsp.
Wydane: (2024)

Equilibria-based probabilistic model checking for concurrent stochastic games
od: Kwiatkowska, M, i wsp.
Wydane: (2019)

Multi-Player Non-Cooperative Game Strategy of a Nonlinear Stochastic System with Time-Varying Parameters
od: Xiangyun Lin, i wsp.
Wydane: (2023-12-01)

A multi-player game equilibrium problem based on stochastic variational inequalities
od: Cunlin Li, i wsp.
Wydane: (2024-09-01)

PLAYING STOCHASTIC GAMES PRECISELY
od: Chen, T, i wsp.
Wydane: (2012)

Playing Stochastic Games Precisely
od: Chen, T, i wsp.
Wydane: (2012)

HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms
od: Yan, R, i wsp.
Wydane: (2024)

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games
od: Yan, R, i wsp.
Wydane: (2022)

Quantitative Multi-objective Verification for Probabilistic Systems.
od: Forejt, V, i wsp.
Wydane: (2011)

PRISM-PSY: Precise GPU-accelerated parameter synthesis for stochastic systems
od: Češka, M, i wsp.
Wydane: (2016)

Stochastic games with risk sensitive pay off for n-players
od: Alain Bensoussan, i wsp.
Wydane: (2000-11-01)

Automatic verification of concurrent stochastic systems
od: Kwiatkowska, M, i wsp.
Wydane: (2021)