Continuous-time stochastic games with time-bounded reachability

DOI10.4230/LIPICS.FSTTCS.2009.2307zbMATH Open1250.91015OpenAlexW2244458880MaRDI QIDQ2920113FDOQ2920113

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

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

zbMATH Keywords

stochastic gamescontinuous time stochastic systemstime bounded reachability

Mathematics Subject Classification ID

Stochastic games, stochastic differential games (91A15)

Cited In (13)

• Determinacy and optimal strategies in infinite-state stochastic reachability games
• Reachability games for linear hybrid systems
• Efficient approximation of optimal control for continuous-time Markov games
• Continuous-time stochastic games
• Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games
• Title not available (Why is that?)
• A uniformization-based algorithm for continuous-time stochastic games model checking
• Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games
• Continuous-time stochastic games with time-bounded reachability
• Stochastic timed games revisited
• Optimal Control of Favorable Games with a Time Limit
• Precisely deciding CSL formulas through approximate model checking for CTMCs
• Reachability in Stochastic Timed 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)