Reachability analysis of deep ReLU neural networks using facet-vertex incidence
Research article (Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, 2021) · cited 20× · AI/ML