Correlated equilibria and fairness in concurrent stochastic games

DOI10.1007/978-3-030-99527-0_4MaRDI QIDQ6535606zbMATH OpenWikidataFDO

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

Publication date 1 February 2024

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-99527-0_4

Mathematics Subject Classification ID

Stochastic games, stochastic differential games (91A15) Algorithmic game theory and complexity (91A68)

Recommendations

• Multi-player equilibria verification for concurrent stochastic games
• Equilibria-based probabilistic model checking for concurrent stochastic games
• Automatic verification of concurrent stochastic systems
• A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
• Automated Verification of Concurrent Stochastic Games

Cites work

• A reduction from parity games to simple stochastic games
• Automatic verification of competitive stochastic systems
• Automatic verification of concurrent stochastic systems
• scientific article; zbMATH DE number 5359577 (Why is no real title available?)
• scientific article; zbMATH DE number 3543391 (Why is no real title available?)
• scientific article; zbMATH DE number 7280017 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3106184 (Why is no real title available?)
• Multi-player equilibria verification for concurrent stochastic games
• Nash and correlated equilibria: Some complexity considerations
• On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming
• Reasoning about equilibria in game-like concurrent systems
• Results on the quantitative \(\mu\)-calculus \(qM\mu\)
• Settling the complexity of computing two-player Nash equilibria
• Simple search methods for finding a Nash equilibrium
• Stochastic Games
• Subjectivity and correlation in randomized strategies
• The complexity of computing a Nash equilibrium
• Value Iteration
• Zermelo and the early history of game theory

Cited in

(1)

• Multi-agent verification and control with probabilistic model checking

This page was built for publication: Correlated equilibria and fairness in concurrent stochastic games

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