Continuous-Time Stochastic Games with Time-Bounded Reachability.

DOI10.4230/LIPIcs.FSTTCS.2009.2307zbMath1250.91015OpenAlexW2244458880MaRDI QIDQ2920113

Vojtěch Forejt, Jan Křetínský, Jan Krčál, Tomáš Brázdil, Antonín Kučera

Publication date: 24 October 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_35d9.html

zbMATH Keywords

stochastic gamescontinuous time stochastic systemstime bounded reachability

Mathematics Subject Classification ID

Stochastic games, stochastic differential games (91A15)

Related Items

Precisely deciding CSL formulas through approximate model checking for CTMCs ⋮ Efficient approximation of optimal control for continuous-time Markov games