2 Grants
2026
CPS: Small: Uncertainty-Aware Monitoring of Autonomous Cyber-Physical Systems: Offline and Online Safety Analysis with Hybrid Formal and Non-Formal Models
Ghosh, Bineet
National Science Foundation (NSF) (ID: 2525849), $364,155USD, 2026-01-01 -- 2028-12-31
 
RI: Small: Formalized Autonomous Planning from High-Level Task Descriptions in Natural Language
Ghosh, Bineet
National Science Foundation (NSF) (ID: 2540740), $600,000USD, 2026-07-15 -- 2029-06-30