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):
Displaying 12 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)
- Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem (Q624936) (← links)
- A dynamic game approach to distributionally robust safety specifications for stochastic systems (Q1797093) (← links)
- Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control (Q2082497) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
- A barrier function approach to finite-time stochastic system verification and control (Q2663942) (← links)
- Stochastic reachability of a target tube: theory and computation (Q2663957) (← links)
- Reachability games for linear hybrid systems (Q2986753) (← links)
- Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates (Q3297675) (← links)
