Formal methods for semi-autonomous driving.

Sanjit A. Seshia Dorsa Sadigh S. Shankar Sastry

Published in: DAC (2015)

Keyphrases

formal methods
autonomous driving
grand challenge
stereo vision
formal analysis
model checking
knowledge based systems
safety critical
vision algorithms
artificial intelligence
formal specification
urban traffic
software engineering
development lifecycle
knowledge acquisition