Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework.

Marius Bozga Joseph Sifakis

Published in: CoRR (2021)

Keyphrases

high level
distributed systems
machine learning
high quality
preprocessing
control system
test bed
computer vision algorithms