Pages that link to "Item:Q2986982"

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

Displayed 7 items.

• Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) ‎ (← links)
• Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability (Q832033) ‎ (← links)
• Towards scalable synthesis of stochastic control systems (Q1693824) ‎ (← links)
• Automated generation of dynamics-based runtime certificates for high-level control (Q1693827) ‎ (← links)
• Finite abstraction of mixed monotone systems with discrete and continuous inputs (Q2374568) ‎ (← links)
• Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems (Q2945585) ‎ (← links)
• CASP solutions for planning in hybrid domains (Q4593097) ‎ (← links)