@inproceedings{BS2,
title = {Correct by Design Coordination of Autonomous Driving Systems },
author = {Bozga, Marius and Sifakis, Joseph},
year = {2022},
booktitle = {ISoLA {(3)}},
pages = {13--29},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {13703},
team = {axe_Mohytos, RSD},
}