Login / Signup
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework.
Marius Bozga
Joseph Sifakis
Published in:
Principles of Systems Design (2022)
Keyphrases
</>
machine learning
high level
distributed systems
computer vision
image segmentation
autonomous driving