Pages that link to "Item:Q1951600"
From MaRDI portal
The following pages link to Continuous-time stochastic games with time-bounded reachability (Q1951600):
Displayed 4 items.
- Efficient approximation of optimal control for continuous-time Markov games (Q259052) (← links)
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- A uniformization-based algorithm for continuous-time stochastic games model checking (Q1757155) (← links)
- Cost vs. time in stochastic games and Markov automata (Q2403526) (← links)