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 9 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)
- 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)
- Stochastic reachability of a target tube: theory and computation (Q2663957) (← links)
- Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates (Q3297675) (← links)
- Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations (Q6120725) (← links)