Pages that link to "Item:Q5891235"
From MaRDI portal
The following pages link to Proof Theory of a Multi-Lane Spatial Logic (Q5891235):
Displaying 6 items.
- Proving Safety of Traffic Manoeuvres on Country Roads (Q2842637) (← links)
- An Abstract Model for Proving Safety of Autonomous Urban Traffic (Q3179406) (← links)
- No Need Knowing Numerous Neighbours (Q3449630) (← links)
- Safe and Optimal Adaptive Cruise Control (Q3449638) (← links)
- Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges (Q6160737) (← links)
- Spatial and timing properties in highway traffic (Q6164470) (← links)