A Formal Approach for the Verification of Control Systems in Autonomous Driving Applications.

Pawel Skruch Marek Dlugosz Pawel Markiewicz

Published in: KKA (2017)

Keyphrases

autonomous driving
control system
grand challenge
formal methods
stereo vision
model checking
vision algorithms
real time
process control
urban traffic
machine learning
fuzzy logic
post processing
formal specification
intelligent control