The following pages link to Expected reachability-time games (Q278757):
Displaying 4 items.
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
- Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
- Stochastic Timed Games Revisited (Q4608565) (← links)
- Reachability Switching Games (Q5002810) (← links)