Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems
Towards Fast Computation of Certified Robustness for ReLU Networks