Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper | IEEE Conference Publication | IEEE Xplore