Pages that link to "Item:Q2920113"
From MaRDI portal
The following pages link to Continuous-time stochastic games with time-bounded reachability (Q2920113):
Displaying 12 items.
- Efficient approximation of optimal control for continuous-time Markov games (Q259052) (← links)
- Determinacy and optimal strategies in infinite-state stochastic reachability games (Q391114) (← 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)
- Continuous-time stochastic games (Q2013336) (← links)
- Precisely deciding CSL formulas through approximate model checking for CTMCs (Q2402369) (← links)
- Reachability games for linear hybrid systems (Q2986753) (← links)
- Stochastic Timed Games Revisited (Q4608565) (← links)
- Optimal Control of Favorable Games with a Time Limit (Q4695418) (← links)
- (Q5091277) (← links)