Pages that link to "Item:Q3526930"
From MaRDI portal
The following pages link to Automating Verification of Cooperation, Control, and Design in Traffic Applications (Q3526930):
Displayed 3 items.
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- Towards Component Based Design of Hybrid Systems: Safety and Stability (Q3587253) (← links)
- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (Q3617770) (← links)