A predictive safety filter for learning-based racing control

Ben Tearle, Kim P. Wabersich, Andrea Carron +1

The growing need for high-performance controllers in safety-critical applications like autonomous driving has been motivating the development of formal safety verification techniqu…