Coogan, Samuel

2 publications

L4DC 2023 Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers Saber Jafarpour, Akash Harapanahalli, Samuel Coogan

L4DC 2022 Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach Saber Jafarpour, Matthew Abate, Alexander Davydov, Francesco Bullo, Samuel Coogan