Pages that link to "Item:Q2986736"
From MaRDI portal
The following pages link to A stochastic reach-avoid problem with random obstacles (Q2986736):
Displaying 5 items.
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162) (← links)
- Safe autonomy under perception uncertainty using chance-constrained temporal logic (Q682357) (← links)
- Lagrangian approximations for stochastic reachability of a target tube (Q2021292) (← links)
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems (Q2628473) (← links)
- Stochastic system controller synthesis for reachability specifications encoded by random sets (Q2628510) (← links)
