Pages that link to "Item:Q2986982"

The following pages link to Abstraction, discretization, and robustness in temporal logic control of dynamical systems (Q2986982):

Displaying 3 items.

• Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
• Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
• Automated generation of dynamics-based runtime certificates for high-level control (Q1693827) (← links)