Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games
From MaRDI portal
Publication:766176
DOI10.1007/s00236-011-0140-0zbMath1242.91016arXiv1004.4005OpenAlexW2020204292MaRDI QIDQ766176
Publication date: 23 March 2012
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1004.4005
Optimal stochastic control (93E20) Stochastic games, stochastic differential games (91A15) Markov and semi-Markov decision processes (90C40)
Related Items
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach ⋮ A uniformization-based algorithm for continuous-time stochastic games model checking ⋮ Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games ⋮ Model checking for performability ⋮ Efficient approximation of optimal control for continuous-time Markov games
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Numerical analysis of continuous time Markov decision processes over finite horizons
- Interactive Markov chains. And the quest for quantified quality
- Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games
- Zero-sum continuous-time Markov games with unbounded transition and discounted payoff rates
- Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
- Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
- A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes
- Model Checking Interactive Markov Chains
- Delayed Nondeterminism in Continuous-Time Markov Decision Processes
- Optimality of the shortest line discipline
- Zero-sum games for continuous-time Markov chains with unbounded transition and average payoff rates
- Zero-sum games for continuous-time jump Markov processes in Polish spaces: discounted payoffs
- Finite State Continuous Time Markov Decision Processes with a Finite Planning Horizon
- Continuous Time Discounted Jump Markov Decision Processes: A Discrete-Event Approach
- Model-checking continuous-time Markov chains
