The paper proposes a method for the correct by design coordination of autonomous driving systems (ADS). It builds on previous results collision avoidance policies and modeling ADS combining descriptions their static environment in form maps, dynamic behavior vehicles. An is modeled as system involving set vehicles coordinated Runtime that based vehicle positions map kinetic attributes, computes...