Website  /  Google Scholar  /  LinkedIn nrober [at] mit [dot] edu
Online Reachability Analysis for Systems Subject to Uncertain Disturbances Nicholas Rober, 2023
This project developed an approach to verify safety for systems subject to unknown disturbances
Backward Reachability for Neural Feedback Loops Nicholas Rober, Michael Everett, 2022
This project developed a backward reachability strategy to certify safety for systems controlled by neural networks