Pages that link to "Item:Q2628473"
From MaRDI portal
The following pages link to A stochastic games framework for verification and control of discrete time stochastic hybrid systems (Q2628473):
Displayed 3 items.
- Reachability for partially observable discrete time stochastic hybrid systems (Q466266) (← links)
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162) (← links)
- A dynamic game approach to distributionally robust safety specifications for stochastic systems (Q1797093) (← links)