Adaptive Model Predictive Safety Certification for Learning-based Control | IEEE Conference Publication | IEEE Xplore