Pages that link to "Item:Q6109583"
From MaRDI portal
The following pages link to A formally verified motion planner for autonomous vehicles (Q6109583):
Displaying 4 items.
- Safety verification of trajectory planning for multiple robots (Q3132075) (← links)
- (Q4641082) (← links)
- Formal verification of braking while swerving in automobiles (Q5146396) (← links)
- Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges (Q6160737) (← links)