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