Correct by Design Coordination of Autonomous Driving Systems.

Marius Bozga Joseph Sifakis

Published in: ISoLA (3) (2022)

Keyphrases

autonomous driving
cooperative
multi agent systems
post processing
computer vision systems
grand challenge