research
          
      
      ∙
      09/19/2023
    Guarantees on Robot System Performance Using Stochastic Simulation Rollouts
We provide finite-sample performance guarantees for control policies exe...
          
            research
          
      
      ∙
      10/15/2022
    Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems
We present a tool for computing exact forward and backward reachable set...
          
            research
          
      
      ∙
      09/17/2021
    DiNNO: Distributed Neural Network Optimization for Multi-Robot Collaborative Learning
We present a distributed algorithm that enables a group of robots to col...
          
            research
          
      
      ∙
      11/23/2020