Correct by Design Coordination of Autonomous Driving Systems.

Marius Bozga Joseph Sifakis

Published in: CoRR (2022)

Keyphrases

autonomous driving
design process
cooperative
intelligent systems
preprocessing
multi agent systems
image analysis
distributed systems
grand challenge