Continuous-time stochastic games with time-bounded reachability

DOI10.4230/LIPICS.FSTTCS.2009.2307MaRDI QIDQ2920113zbMATH OpenOpenAlexFDO

Authors Tomáš Brázdil, Vojtech Forejt, Jan Krčál, Jan Křetínský, Antonin 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)

Recommendations

• Continuous-time stochastic games with time-bounded reachability
• Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games
• Efficient approximation of optimal control for continuous-time Markov games
• Reachability in Stochastic Timed Games
• Optimal time-abstract schedulers for CTMDPs and Markov games

Cited in

(13)

• Stochastic timed games revisited
• Continuous-time stochastic games with time-bounded reachability
• Determinacy and optimal strategies in infinite-state stochastic reachability games
• Reachability games for linear hybrid systems
• Precisely deciding CSL formulas through approximate model checking for CTMCs
• Continuous-time stochastic games
• Optimal Control of Favorable Games with a Time Limit
• Reachability in Stochastic Timed Games
• Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games
• A uniformization-based algorithm for continuous-time stochastic games model checking
• scientific article; zbMATH DE number 7561608 (Why is no real title available?)
• Efficient approximation of optimal control for continuous-time Markov games
• Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games

This page was built for publication: Continuous-time stochastic games with time-bounded reachability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2920113)