Pages that link to "Item:Q2979266"

The following pages link to Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems (Q2979266):

Displaying 3 items.

• Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
• Fault-tolerant safe control design of switched and interconnected nonlinear systems (Q2334141) (← links)
• Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)