Equilibria-based probabilistic model checking for concurrent stochastic games

Equilibria-based probabilistic model checking for concurrent stochastic games

Probabilistic model checking for stochastic games enables formal verification of systems that comprise competing or collaborating entities operating in a stochastic environment. Despite good progress in the area, existing approaches focus on zero-sum goals and cannot reason about scenarios where ent...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Kwiatkowska, M, Norman, G, Parker, D, Santos, G
Formáid:	Conference item
Foilsithe / Cruthaithe:	Springer Verlag 2019

Míreanna comhchosúla

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

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

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

Probabilistic model checking for strategic equilibria-based decision making: advances and challenges
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2022)

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

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

Probabilistic model checking and autonomy
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2021)

Probabilistic model checking of complex biological pathways
de réir: Heath, J, et al.
Foilsithe / Cruthaithe: (2008)

Compositional probabilistic verification through multi-objective model checking
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2013)

Automatic verification of concurrent stochastic systems
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2021)

Ergodic equilibria in stochastic sequential games
de réir: Large, J, et al.
Foilsithe / Cruthaithe: (2008)

Ergodic Equilibria in Stochastic Sequential Games.
de réir: Large, J, et al.
Foilsithe / Cruthaithe: (2009)

Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games
de réir: Patricia Bouyer, et al.
Foilsithe / Cruthaithe: (2016-09-01)

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

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)

Verification and control of turn-based probabilistic real-time games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2019)

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

Nash equilibria in concurrent games with lexicographic preferences
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

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

Equilibria of concurrent games on event structures
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2014)

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

Verifying Team Formation Protocols with Probabilistic Model Checking
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2011)

Pure Nash Equilibria in Concurrent Deterministic Games
de réir: Patricia Bouyer, et al.
Foilsithe / Cruthaithe: (2015-06-01)

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

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

Reasoning about equilibria in game-like concurrent systems
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2014)

Reasoning about equilibria in game-like concurrent systems
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2016)

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

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)

Equilibria in stochastic dynamic games of Stackelberg type
Foilsithe / Cruthaithe: (2002)

The Complexity of Nash Equilibria in Stochastic Multiplayer Games
de réir: Michael Ummels, et al.
Foilsithe / Cruthaithe: (2011-09-01)

Distributional probabilistic model checking
de réir: Elsayed-Aly, I, et al.
Foilsithe / Cruthaithe: (2024)

A tool for the automated verification of Nash equilibria in concurrent games
de réir: Toumi, A, et al.
Foilsithe / Cruthaithe: (2015)

Stopping time equilibria in games with stochastically monotone payoffs
Foilsithe / Cruthaithe: (2004)

Multi-agent verification and control with probabilistic model checking
de réir: Parker, D
Foilsithe / Cruthaithe: (2023)

A posteriori probabilistic feasibility guarantees for Nash equilibria in uncertain multi-agent games
de réir: Pantazis, G, et al.
Foilsithe / Cruthaithe: (2021)

Recursive Concurrent Stochastic Games
de réir: Kousha Etessami, et al.
Foilsithe / Cruthaithe: (2008-11-01)