A Formal Approach to Autonomous Vehicle Coordination.

Mikael Asplund, Atif Manzoor, Mlanie Bouroche, Siobhn Clarke, Vinny Cahill

Browse the full FM paper archive.