Qualitative Determinacy and Decidability of Stochastic Games with Signals

DOI10.1145/3107926zbMath1427.91022OpenAlexW2754858045MaRDI QIDQ4640298

Nathalie Bertrand, Hugo Gimbert, Blaise Genest

Publication date: 17 May 2018

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01635127/file/final_version.pdf

zbMATH Keywords

stochastic gamescontroller synthesisimperfect informationalgorithmic game theory

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Stochastic games, stochastic differential games (91A15) Signaling and communication in game theory (91A28) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (5)

Graph Games and Reactive Synthesis ⋮ Diagnosis and degradation control for probabilistic systems ⋮ Stochastic Games ⋮ Partial-Observation Stochastic Games ⋮ CEGAR for compositional analysis of qualitative properties in Markov decision processes

This page was built for publication: Qualitative Determinacy and Decidability of Stochastic Games with Signals