Pages that link to "Item:Q766176"
From MaRDI portal
The following pages link to Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games (Q766176):
Displaying 10 items.
- Efficient approximation of optimal control for continuous-time Markov games (Q259052) (← links)
- Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games (Q766176) (← links)
- A uniformization-based algorithm for continuous-time stochastic games model checking (Q1757155) (← links)
- Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games (Q1935779) (← links)
- Continuous-time stochastic games with time-bounded reachability (Q1951600) (← links)
- Model checking for performability (Q2843861) (← links)
- Efficient approximation of optimal control for continuous-time Markov games (Q2911641) (← links)
- Continuous-time stochastic games with time-bounded reachability (Q2920113) (← links)
- Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach (Q6104820) (← links)
- A modest Markov automata tutorial (Q6535989) (← links)