RobustNeuralNetworks.jl: a Package for Machine Learning and Data-Driven Control with Certified Robustness.

Nicholas H. Barbara Max Revay Ruigang Wang Jing Cheng Ian R. Manchester RobustNeuralNetworks.jl: a Package for Machine Learning and Data-Driven Control with Certified Robustness. Zenodo 2025 February https://doi.org/10.5281/zenodo.14861888 streams/repo/zenodo