Compositional and Contract-Based Verification for Autonomous Driving on Road Networks.
Lucas LiebenweinWilko SchwartingCristian Ioan VasileJonathan A. DeCastroJavier Alonso-MoraSertac KaramanDaniela RusPublished in: ISRR (2017)
Keyphrases
- road network
- autonomous driving
- grand challenge
- shortest path
- stereo vision
- travel time
- moving objects
- transportation networks
- urban traffic
- vision algorithms
- route planning
- spatial networks
- spatial databases
- traffic congestion
- trajectory data
- geographic information systems
- road segments
- computer vision
- traffic data
- three dimensional