ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs

von Strong, Christopher A.
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)