Pages that link to "Item:Q2843860"
From MaRDI portal
The following pages link to Can we build it: formal synthesis of control strategies for cooperative driver assistance systems (Q2843860):
Displaying 3 items.
- Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata (Q2964462) (← links)
- Formal Methods for Components and Objects (Q5311300) (← links)
- Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges (Q6160737) (← links)