 Automated Reachability Analysis of Neural Network-Controlled Systems via
Adaptive PolytopesConference on Learning for Dynamics & Control (L4DC), 2022 |
 Open- and Closed-Loop Neural Network Verification using Polynomial
ZonotopesNASA Formal Methods (NFM), 2022 |
 Generating Probabilistic Safety Guarantees for Neural Network
ControllersMachine-mediated learning (ML), 2021 |
