The following pages link to Stochastic Timed Games Revisited (Q4608565):
Displaying 10 items.
- Expected reachability-time games (Q278757) (← links)
- On timed alternating simulation for concurrent timed games (Q715043) (← links)
- Stochastic scheduling games with Markov decision arrival processes (Q1312000) (← links)
- Probabilistic timed automata with clock-dependent probabilities (Q1685793) (← links)
- Efficient On-the-Fly Algorithms for Partially Observable Timed Games (Q3510829) (← links)
- Stochastic Real-Time Games with Qualitative Timed Automata Objectives (Q3584931) (← links)
- (Q4636594) (← links)
- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities (Q5041280) (← links)
- Cost vs. Time in Stochastic Games and Markov Automata (Q5351873) (← links)
- 1½-Player Stochastic StopWatch Games (Q6080284) (← links)
