The National Science Foundation (NSF) awarded a $299,998 Project Grant under its Integrative Activities (CFDA 47.083) program to the University of New Mexico (UNM) Office of Sponsored Projects Division. The grant supports the development of formal methods and tools to verify the safety of large-scale, learning-enabled cyber-physical systems. Key research thrusts include safety-directed model reduction, rigorous reachability analysis, and counterexample interpretation and model correction. The work will be conducted in collaboration with researchers at NASA Marshall Space Flight Center, with the goal of improving the safety of AI-controlled systems used by NASA. This award aims to strengthen the partnership between UNM and NASA while broadening participation of underrepresented groups in the research. The grant period runs from January 1, 2025 to December 31, 2026.
Generated 2/25/25, 5:46 AM