TY  - RPRT
TI  - RobustNeuralNetworks.jl: a Package for Machine Learning and Data-Driven Control with Certified Robustness
AU  - Nicholas H. Barbara
AU  - Max Revay
AU  - Ruigang Wang
AU  - Jing Cheng
AU  - Ian R. Manchester
PY  - 2025
DO  - 10.21105/jcon.00163
UR  - https://arxiv.org/abs/2306.12612
ID  - 2306.12612
ER  -