Grants


  • [2018-19] Cloud-based Anytime Computation of Reachable Tubes for Provably Safe Unmanned Aerial Systems Traffic Management
          Lead PI: Abhishek Halder, Co-PIs: Ricardo Sanfelice (UC Santa Cruz), Mark Mueller (UC Berkeley), and Claire Tomlin (UC Berkeley)
          CITRIS and the Banatao Institute Seed Funding


  • [2018] Real-time Computation of Reachable Tubes for Provably Safe Unmanned Aerial Systems Traffic Management
          PI: Abhishek Halder
          UC Santa Cruz Committee on Research