Algorithms for the Safe Management of Autonomous Vehicles | IEEE Conference Publication | IEEE Xplore