Conference paperCNN-Cert: An efficient framework for certifying robustness of convolutional neural networks
Conference paperOn-line learning of linear dynamical systems: Exponential forgetting in kalman filters