Skip to main content

1 Result(s)

within Anthony L. Corso Remove this filter

and

  1. No Access

    Chapter and Conference Paper

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

    Deep neural networks often lack the safety and robustness guarantees needed to be deployed in safety critical systems. Formal verification techniques can be used to prove input-output safety properties of netw...

    Christopher A. Strong, Sydney M. Katz, Anthony L. Corso… in NASA Formal Methods (2022)