Backward Reachability Analysis for Neural Feedback Loops. - Nicholas Rober; Michael Everett; Jonathan P. How (CDC, 2022)

3D Path Following and L1 Adaptive Control for Underwater Vehicles. - Nicholas Rober; Maxwell Hammond; Venanzio Cichella; Juan E. Martin; Pablo M. Carrica (CoRR, 2022)

Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems. - Nicholas Rober; Sydney M. Katz; Chelsea Sidrane; Esen Yel; Michael Everett; Mykel J. Kochenderfer; Jonathan P. How (CoRR, 2022)

Reduced Order Model of a Generic Submarine for Maneuvering Near the Surface. - J. Ezequiel Martin; Maxwell Hammond; Nicholas Rober; Yakin Kim; Venanzio Cichella; Pablo M. Carrica (CoRR, 2022)

A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops. - Nicholas Rober; Michael Everett; Songan Zhang; Jonathan P. How (ACC, 2023)

Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances. - Nicholas Rober; Karan Mahesh; Tyler M. Paine; Max L. Greene; Steven Lee; Sildomar T. Monteiro; Michael R. Benjamin; Jonathan P. How (ICRA, 2024)

Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis. - Karan Mahesh; Tyler M. Paine; Max L. Greene; Nicholas Rober; Steven Lee; Sildomar T. Monteiro; Anuradha Annaswamy; Michael R. Benjamin; Jonathan P. How (CoRR, 2024)

Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops. - Nicholas Rober; Jonathan P. How (IEEE Control. Syst. Lett., 2024)

DYNUS: Uncertainty-aware Trajectory Planner in Dynamic Unknown Environments. - Kota Kondo; Mason B. Peterson; Nicholas Rober; Juan Rached Viso; Lucas Jia; Jialin Chen; Harvey Merton; Jonathan P. How (CoRR, 2025)