1. Branch and bound for piecewise linear neural network verification;Bunel;JMLR,2020
2. Run-time assurance for learning-enabled systems;Cofer,2020
3. Lyapunov-stable neural-network control;Dai;arXiv preprint,2021
4. Activation functions in deep learning: a comprehensive survey and benchmark;Dubey;Neurocomputing,2022
5. Interval observers for time-varying discrete-time systems;Efimov;IEEE Trans. Automat. Contr.,2013