Equilibria-based probabilistic model checking for concurrent stochastic games

DOI10.1007/978-3-030-30942-8_19MaRDI QIDQ6535956zbMATH OpenFDO

Authors Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Pinheiro Alves Santos

Publication date 14 March 2024

Full work available at URL https://doi.org/10.1007/978-3-030-30942-8_19

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Stochastic games, stochastic differential games (91A15)

Recommendations

• Automatic verification of concurrent stochastic systems
• Multi-player equilibria verification for concurrent stochastic games
• Automated Verification of Concurrent Stochastic Games
• Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk)
• PRISM-games: a model checker for stochastic multi-player games

Cites work

• A logic for reasoning about time and reliability
• A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
• Algorithmic Game Theory
• Alternating-time temporal logic
• Automated verification and strategy synthesis for probabilistic systems
• Automated Verification of Concurrent Stochastic Games
• Automatic verification of competitive stochastic systems
• Compositional strategy synthesis for stochastic games with multiple objectives
• Computer Science Logic
• Concurrent reachability games
• Equilibrium Points of Bimatrix Games
• Evolutionary Dynamics of Collective Action
• scientific article; zbMATH DE number 5301288 (Why is no real title available?)
• scientific article; zbMATH DE number 3571895 (Why is no real title available?)
• scientific article; zbMATH DE number 1361118 (Why is no real title available?)
• scientific article; zbMATH DE number 3106184 (Why is no real title available?)
• Interval iteration algorithm for MDPs and IMDPs
• Mixed Nash equilibria in concurrent terminal-reward games
• Model checking of probabilistic and nondeterministic systems
• Nash Equilibrium for Upward-Closed Objectives
• On stochastic games with multiple objectives
• Quantitative solution of omega-regular games
• Stochastic equilibria under imprecise deviations in terminal-reward concurrent games
• Strategy improvement for concurrent reachability and turn-based stochastic safety games
• Value Iteration
• Value iteration for simple stochastic games: stopping criterion and learning algorithm
• Zermelo and the early history of game theory

Cited in

(3)

• Correlated equilibria and fairness in concurrent stochastic games
• Multi-agent verification and control with probabilistic model checking
• Designing equilibria in concurrent games with social welfare and temporal logic constraints

This page was built for publication: Equilibria-based probabilistic model checking for concurrent stochastic games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535956)