Provable Systemwide Safety in Intelligent Intersections
Smart cars on smart roads: Problems of control