A Finite-Time Safety Filter for Learning-Based Autonomous Driving | IEEE Conference Publication | IEEE Xplore