← nrober1122.github.io
PhD Thesis Defense · MIT AeroAstro · Aerospace Controls Lab
Title: Reachability-Based Safety Assurances for Neural Feedback Loops with Bounded Uncertainty