Qualitative Concurrent Stochastic Games with Imperfect Information

DOI10.1007/978-3-642-02930-1_17zbMath1248.68353OpenAlexW1778174682MaRDI QIDQ3638096

Olivier Serre, Vincent Gripon

Publication date: 14 July 2009

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02930-1_17

Mathematics Subject Classification ID

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) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (2)

A survey of partial-observation stochastic parity games ⋮ Partial-Observation Stochastic Games

This page was built for publication: Qualitative Concurrent Stochastic Games with Imperfect Information