Provably Safe Deep Learning-Based Offset-Free Model Predictive Control and its Application to Safety-Critical Autonomous Driving | IEEE Conference Publication | IEEE Xplore