Fail-Safe Motion Planning for Online Verification of Autonomous Vehicles Using Convex Optimization | IEEE Journals & Magazine | IEEE Xplore