Differentiable Predictive Control with Safety Guarantees: A Control Barrier Function Approach | IEEE Conference Publication | IEEE Xplore