Formal design of a provably safe robotic roundabout system.

Jeffrey Duperret, Michael R. Hafner, Domitilla Del Vecchio

Browse the full IROS paper archive.