Provable and Control-Theoretic Methods for Deep Object Pose Estimation