Multi-player equilibria verification for concurrent stochastic games

DOI10.1007/978-3-030-59854-9_7zbMath1483.68197arXiv2007.03365OpenAlexW3109427444WikidataQ112268301 ScholiaQ112268301MaRDI QIDQ2056983

Yanyan Li

Publication date: 8 December 2021

Full work available at URL: https://arxiv.org/abs/2007.03365

Mathematics Subject Classification ID

Applications of game theory (91A80) Stochastic games, stochastic differential games (91A15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (2)

Reasoning about causality in games ⋮ Symbolic verification and strategy synthesis for turn-based stochastic games

This page was built for publication: Multi-player equilibria verification for concurrent stochastic games