PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games

PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games

We present a new release of PRISM-games, a tool for veri- fication and strategy synthesis for stochastic games. PRISM-games 2.0 significantly extends its functionality by supporting, for the first time: (i) long-run average (mean-payoff) and ratio reward objectives, e.g., to express energy consumpti...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Kwiatkowska, M, Wiltsche, C, Parker, D
Formáid:	Conference item
Foilsithe / Cruthaithe:	Springer 2016

Míreanna comhchosúla

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2017)

Compositional strategy synthesis for stochastic games with multiple objectives
de réir: Basset, N, et al.
Foilsithe / Cruthaithe: (2017)

Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
de réir: Basset, N, et al.
Foilsithe / Cruthaithe: (2014)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2020)

On Stochastic Games with Multiple Objectives
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2013)

Compositional Controller Synthesis for Stochastic Games
de réir: Basset, N, et al.
Foilsithe / Cruthaithe: (2014)

Assume-guarantee strategy synthesis for stochastic games
de réir: Wiltsche, C
Foilsithe / Cruthaithe: (2015)

Quantitative verification and strategy synthesis of stochastic games
de réir: Svorenova, M, et al.
Foilsithe / Cruthaithe: (2016)

Symbolic verification and strategy synthesis for turn-based stochastic games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2022)

Game−Based Probabilistic Predicate Abstraction in PRISM
de réir: Kattenbelt, M, et al.
Foilsithe / Cruthaithe: (2008)

Game−Based Probabilistic Predicate Abstraction in PRISM
de réir: Kattenbelt, M, et al.
Foilsithe / Cruthaithe: (2008)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
de réir: Yan, R, et al.
Foilsithe / Cruthaithe: (2024)

Model checking and strategy synthesis for stochastic games: from theory to practice
de réir: Kwiatkowska, M
Foilsithe / Cruthaithe: (2016)

Strategy synthesis for partially observable stochastic games with neural perception mechanisms
de réir: Kwiatkowska, M
Foilsithe / Cruthaithe: (2024)

Multi-player equilibria verification for concurrent stochastic games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2020)

Automated verification of concurrent stochastic games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2018)

Decidability results for multi-objective stochastic games
de réir: Brenguier, R, et al.
Foilsithe / Cruthaithe: (2016)

Correlated equilibria and fairness in concurrent stochastic games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2022)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
de réir: Jovanovic, A, et al.
Foilsithe / Cruthaithe: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
de réir: Jovanović, A, et al.
Foilsithe / Cruthaithe: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
de réir: Jovanović, A, et al.
Foilsithe / Cruthaithe: (2014)

Partially observable stochastic games with neural perception mechanisms
de réir: Yan, R, et al.
Foilsithe / Cruthaithe: (2024)

Equilibria-based probabilistic model checking for concurrent stochastic games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2019)

GameBling Game Jam 2.0: The Writing Workshop
de réir: Pauline Hoebanx, et al.
Foilsithe / Cruthaithe: (2024-07-01)

PLAYING STOCHASTIC GAMES PRECISELY
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2012)

Playing Stochastic Games Precisely
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2012)

HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms
de réir: Yan, R, et al.
Foilsithe / Cruthaithe: (2024)

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games
de réir: Yan, R, et al.
Foilsithe / Cruthaithe: (2022)

PRISM-PSY: Precise GPU-accelerated parameter synthesis for stochastic systems
de réir: Češka, M, et al.
Foilsithe / Cruthaithe: (2016)

PRISM 4.0: Verification of probabilistic real-time systems
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2011)

Professional XNA programming : building games for Xbox 360 and Windows with XNA Game Studio 2.0 /
de réir: Nitschke, Benjamin, 1980-
Foilsithe / Cruthaithe: (2008)

Synthesizing Pareto optimal decision for autonomic clouds using stochastic games model checking
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2018)

Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games
de réir: Santos, GHR
Foilsithe / Cruthaithe: (2020)

Strategy complexity of reachability in countable stochastic 2-player games
de réir: Kiefer, S, et al.
Foilsithe / Cruthaithe: (2024)

Prioritized optimization by Nash games : towards an adaptive multi-objective strategy
de réir: Désidéri Jean-Antoine, et al.
Foilsithe / Cruthaithe: (2021-08-01)

Optimal Strategies in Infinite-state Stochastic Reachability Games
de réir: Václav Brožek
Foilsithe / Cruthaithe: (2011-06-01)

Game and graphics programming for ios and android with opengl es 2.0 /
de réir: Foino, Marucchi
Foilsithe / Cruthaithe: (2012)

Microsoft XNA game studio 2.0 : learn programming now! /
de réir: 209925 Miles, Rob
Foilsithe / Cruthaithe: (2008)

Harnessing Tullock contests and signaling games: a novel weight assignment strategy for Ethereum 2.0
de réir: Doe, Daniel Mawunyo, et al.
Foilsithe / Cruthaithe: (2024)

Harnessing Tullock Contests and Signaling Games: A Novel Weight Assignment Strategy for Ethereum 2.0
de réir: Daniel Mawunyo Doe, et al.
Foilsithe / Cruthaithe: (2024-01-01)