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

Detaylı Bibliyografya
Asıl Yazarlar:	Kwiatkowska, M, Parker, D, Wiltsche, C
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	Springer Verlag 2017

Benzer Materyaller

PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Compositional strategy synthesis for stochastic games with multiple objectives
Yazar:: Basset, N, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
Yazar:: Basset, N, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

On Stochastic Games with Multiple Objectives
Yazar:: Chen, T, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Multi-player equilibria verification for concurrent stochastic games
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Compositional Controller Synthesis for Stochastic Games
Yazar:: Basset, N, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Assume-guarantee strategy synthesis for stochastic games
Yazar:: Wiltsche, C
Baskı/Yayın Bilgisi: (2015)

Quantitative verification and strategy synthesis of stochastic games
Yazar:: Svorenova, M, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Symbolic verification and strategy synthesis for turn-based stochastic games
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Automated verification of concurrent stochastic games
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Game−Based Probabilistic Predicate Abstraction in PRISM
Yazar:: Kattenbelt, M, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Game−Based Probabilistic Predicate Abstraction in PRISM
Yazar:: Kattenbelt, M, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
Yazar:: Gutierrez, J, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
Yazar:: Yan, R, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Model checking and strategy synthesis for stochastic games: from theory to practice
Yazar:: Kwiatkowska, M
Baskı/Yayın Bilgisi: (2016)

Strategy synthesis for partially observable stochastic games with neural perception mechanisms
Yazar:: Kwiatkowska, M
Baskı/Yayın Bilgisi: (2024)

Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games
Yazar:: Santos, GHR
Baskı/Yayın Bilgisi: (2020)

Rational verification: game-theoretic verification of multi-agent systems
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Decidability results for multi-objective stochastic games
Yazar:: Brenguier, R, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Strategy complexity of reachability in countable stochastic 2-player games
Yazar:: Kiefer, S, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Expectation vs. reality: towards verification of psychological games
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Verification and control of turn-based probabilistic real-time games
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Correlated equilibria and fairness in concurrent stochastic games
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

PRISM 4.0: Verification of probabilistic real-time systems
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
Yazar:: Jovanović, A, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
Yazar:: Jovanovic, A, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
Yazar:: Jovanović, A, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Partially observable stochastic games with neural perception mechanisms
Yazar:: Yan, R, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Equilibria-based probabilistic model checking for concurrent stochastic games
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Multi-Player Non-Cooperative Game Strategy of a Nonlinear Stochastic System with Time-Varying Parameters
Yazar:: Xiangyun Lin, ve diğerleri
Baskı/Yayın Bilgisi: (2023-12-01)

A multi-player game equilibrium problem based on stochastic variational inequalities
Yazar:: Cunlin Li, ve diğerleri
Baskı/Yayın Bilgisi: (2024-09-01)

PLAYING STOCHASTIC GAMES PRECISELY
Yazar:: Chen, T, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Playing Stochastic Games Precisely
Yazar:: Chen, T, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms
Yazar:: Yan, R, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games
Yazar:: Yan, R, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Quantitative Multi-objective Verification for Probabilistic Systems.
Yazar:: Forejt, V, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

PRISM-PSY: Precise GPU-accelerated parameter synthesis for stochastic systems
Yazar:: Češka, M, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Stochastic games with risk sensitive pay off for n-players
Yazar:: Alain Bensoussan, ve diğerleri
Baskı/Yayın Bilgisi: (2000-11-01)

Automatic verification of concurrent stochastic systems
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2021)