文章基本信息

标题：Continuous-Time Stochastic Games with Time-Bounded Reachability
本地全文：下载
作者：Tomas Brazdil ; Vojtech Forejt ; Jan Krcal 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2009
卷号：4
页码：61-72
DOI：10.4230/LIPIcs.FSTTCS.2009.2307
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：We study continuous-time stochastic games with time-bounded reachability objectives. We show that each vertex in such a game has a \emph{value} (i.e., an equilibrium probability), and we classify the conditions under which optimal strategies exist. Finally, we show how to compute optimal strategies in finite uniform games, and how to compute $\varepsilon$-optimal strategies in finitely-branching games with bounded rates (for finite games, we provide detailed complexity estimations).
关键词：Continuous time stochastic systems; time bounded reachability; stochastic games