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