activity
20192022
most citedRun Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems

76 citations · 79 across the 10 of their papers we have counts for

collaborators
Showing 2022Show all

2 papers · 1 filter

cs.LG2022★ 1 cited

Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach

Saber Jafarpour, Alexander Davydov, Matthew Abate +2

This paper proposes a theoretical and computational framework for training and robustness verification of implicit neural networks based upon non-Euclidean contraction theory. The…

cs.LG2022

Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks

Alexander Davydov, Saber Jafarpour, Matthew Abate +2

We use interval reachability analysis to obtain robustness guarantees for implicit neural networks (INNs). INNs are a class of implicit learning models that use implicit equations…