Grants


  • [2019] Fast Computation of Stochastic Reachability for Provably Safe Planning and Control in Automated Driving
          Lead PI: Abhishek Halder, Ford PI: Baljeet Singh (Ford Research and Innovation Center)
          Ford Motor Company


  • [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