research
∙
12/19/2022
Reduced Order Model of a Generic Submarine for Maneuvering Near the Surface
A reduced order model of a generic submarine is presented. Computational...
share
research
∙
10/14/2022
A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops
As neural networks become more integrated into the systems that we depen...
research
∙
09/28/2022
Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems
The increasing prevalence of neural networks (NNs) in safety-critical ap...
research
∙
04/14/2022
