Project Grant 2441334
Award Date
2/1/25
Completion Date
1/31/30
Dollars Obligated
$218K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Lincoln, NE 68503, USA
Similar Awards
This $149,343 Project Grant awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CFDA 47.070) Federal Grant Program supports the development of a new quantitative verification approach for temporal properties of learning-enabled cyber-physical systems (LE-CPS). The key objectives are to:
Develop a qualitative and quantitative verification approach for LE-CPS at the system level based on Probstar reachability, providing the precise probability...
The University of Nebraska-Lincoln was awarded a $198,944 Project Grant from the National Science Foundation Division of Computing and Communication Foundations under the Computer and Information Science and Engineering federal grant program (CFDA 47.070).
The two-year grant will support the development of domain-specific optimization tactics to enable scalable software verification. Specifically, the university will derive tactics tailored to specific application domains that can...
This $270,913 federal Project Grant award, funded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program, supports research to develop qualitative and quantitative methodologies for assessing the safety of learning-enabled autonomous systems. The project, led by the Augusta University Research Institute, Inc. (AURI), will target foundational challenges in capturing uncertainties from environments and providing timely, comprehensive,...
The National Science Foundation Division of Information and Intelligent Systems awarded a $454,570 Project Grant to the Board of Regents of the University of Nebraska to support research titled "COLLABORATIVE RESEARCH: NRI: DISPERSED AUTONOMY FOR MARSUPIAL AERIAL ROBOT TEAMS." The two-year project, running from January 1, 2022 to December 31, 2024, will advance investigator-initiated research and education in computer and information science and engineering under the Computer and...
This $994,988 National Science Foundation project grant through the Engineering program (CFDA 47.041) will fund research at the University of New Mexico from May 1, 2023 through April 30, 2028. The research aims to develop an algorithmic framework for integrating knowledge of human perception and reasoning about uncertainty into the design and control of autonomous dynamical systems. New mathematical theory and computational algorithms will be created based on control theory, machine...
This $147,212 federal Project Grant award from the National Science Foundation (NSF) Engineering program (CFDA 47.041) supports research to develop a framework for ensuring safe control of autonomous systems, such as driverless cars and robotic systems, in the presence of sensor faults and cyber attacks. The research combines techniques from control theory, machine learning, and system security to enable provable safety guarantees for learning-enabled autonomous systems across a range of...
This Project Grant award, provided by the National Science Foundation (NSF) under the Integrative Activities (IA) program (CFDA 47.083), will fund the development of new formal methods and tools to verify the safety of large-scale learning-enabled cyber-physical systems. The $299,998 award will support research conducted by the University of New Mexico (UNM) in collaboration with NASA Marshall Space Flight Center. Key research thrusts include: (1) computing size-reduced formal abstractions...
This $524,290 federal Project Grant awarded by the National Science Foundation (NSF) under the STEM Education (CFDA 47.076) program aims to increase the number of qualified K-12 computer science teachers in Nebraska. The primary goals are to: 1) develop curriculum and courses for preparing undergraduate pre-service teachers to teach computer science, 2) create sustainable infrastructure and pathways across 2-year and 4-year colleges, 3) investigate a statewide recruitment, coursework, and...
This $375,000 Project Grant was awarded by the National Science Foundation (NSF) under its Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to the University of Massachusetts (UMass) for the project "COLLABORATIVE RESEARCH: SLES: NO BAD SURPRISES: ALIGNING AGENT AND HUMAN NORMS VIA SPECIFICATION REFINEMENTS". The goal is to develop tools and processes to design provably safe autonomous systems, focusing on aligning the norms of reinforcement learning...
This Project Grant award from the National Science Foundation (NSF) Division of Information and Intelligent Systems, under the NSF CISE (Computer and Information Science and Engineering) program (CFDA 47.070), provides $424,916 to the Board of Regents of the University of Nebraska (dba University of Nebraska) from August 1, 2023 to July 31, 2027.
The award supports collaborative research to investigate decision-making frameworks for open multiagent systems, where agents may enter/leave the...