Towards nominal stability certification of deep learning-based controllers | IEEE Conference Publication | IEEE Xplore