Safety and Stability Guarantees for Control Loops With Deep Learning Perception | IEEE Journals & Magazine | IEEE Xplore