Recursive Concurrent Stochastic Games

DOI10.2168/LMCS-4(4:7)2008zbMath1161.68619OpenAlexW3100442804MaRDI QIDQ5901535

Kousha Etessami, Mihalis Yannakakis

Publication date: 29 April 2009

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-4(4:7)2008

Mathematics Subject Classification ID

Stochastic games, stochastic differential games (91A15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Quantitative verification and strategy synthesis for stochastic games ⋮ On Probabilistic Parallel Programs with Process Creation and Synchronisation ⋮ Unnamed Item ⋮ Recursive Markov Decision Processes and Recursive Stochastic Games ⋮ Qualitative analysis of concurrent mean-payoff games

This page was built for publication: Recursive Concurrent Stochastic Games