4 Grants
2020
SHF: Small: Scalable Formal Verification of ANN controlled Cyber-Physical Systems
Prabhakar, Pavithra
National Science Foundation (NSF), Direct For Computer & Info Scie & Enginr, Division of Computing and Communication Foundations (ID: 2008957), $450,000USD, 2020-10-01 -- 2023-09-30
2017
Formal Synthesis of Robust, Optimal Controllers for Autonomous Underwater Vehicles
Prabhakar, Pavithra
U.S. Department Of Defense (Dod), United States Navy (ID: N000141712577), $506,941USD, 4/28/2017 -- 5/31/2020
 
Verification Mentoring Workshop III
Prabhakar, Pavithra
National Science Foundation (NSF), Direct For Computer & Info Scie & Enginr, Division of Computing and Communication Foundations (ID: 1738102), $30,800USD, 04/15/2017 -- 03/31/2018
2016
CAREER:Robust Verification of Cyber-Physical Systems
Prabhakar, Pavithra
National Science Foundation (NSF), Direct For Computer & Info Scie & Enginr, Division of Computing and Communication Foundations (ID: 1552668), $150,668USD, 01/15/2016 -- 12/31/2020