The following pages link to (Q3086919):
Displaying 5 items.
- State constrained reachability for stochastic hybrid systems (Q547913) (← links)
- Enforcing almost-sure reachability in POMDPs (Q832296) (← links)
- Reachability and safety objectives in Markov decision processes on long but finite horizons (Q2188953) (← links)
- Cost vs. time in stochastic games and Markov automata (Q2403526) (← links)
- Quantitative controller synthesis for consumption Markov decision processes (Q2680240) (← links)