Verification for Machine Learning, Autonomy, and Neural Networks Survey
Multi-Parametric Toolbox 3.0