Correct by Design Coordination of Autonomous Driving Systems.

Marius Bozga, Joseph Sifakis

Browse the full ISoLA paper archive.