Pages that link to "Item:Q2628473"

The following pages link to A stochastic games framework for verification and control of discrete time stochastic hybrid systems (Q2628473):

Displaying 8 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)