A Differentiable QP-based Learning Framework for Safety-Critical Control of Fully Actuated AUVs | IEEE Conference Publication | IEEE Xplore