 BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein
Polynomial Interval ArithmeticInternational Conference on Hybrid Systems: Computation and Control (HSCC), 2022 |
 NNLander-VeriF: A Neural Network Formal Verification Framework for
Vision-Based Autonomous Aircraft LandingNASA Formal Methods (NFM), 2022 |
 Failing with Grace: Learning Neural Network Controllers that are
Boundedly UnsafeConference on Learning for Dynamics & Control (L4DC), 2021 |
