This $425,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to develop a framework for ensuring the safety of future robotic systems. The research project, led by The Trustees of Princeton University, aims to lay the foundation for safe robot autonomy by enabling robots to continually prove the safety of their actions under a wide range of operating conditions, from complex physical...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) Project Grant award, totaling $639,945, was provided to Carnegie Mellon University (CMU) from June 2024 through May 2027. The research project focuses on developing methods to detect faults in robotic and autonomous systems (RAS) by analyzing program artifacts and real-world data. Key deliverables include: 1) techniques to infer behavior models and check them against...
This $316,963 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program will support research to enhance the safety and reliability of autonomous vehicles. The project aims to thoroughly examine and improve the controller and machine learning components of autonomous driving systems through a combination of model-based and data-driven approaches. The research will focus on identifying spatial and temporal vulnerabilities that...
The University of Virginia received a $374,876 project grant award from the National Science Foundation to conduct research titled "COLLABORATIVE RESEARCH: DASS: ACCOUNTABLE SOFTWARE SYSTEMS FOR SAFETY-CRITICAL APPLICATIONS" from October 1, 2021 through September 30, 2024. The grant was awarded under the NSF's Computer and Information Science and Engineering program (CFDA #47.070), which supports investigator-initiated research and education in all areas of computing, communications,...
This five-year National Science Foundation Project Grant of $1,238,246 will fund research at Carnegie Mellon University toward developing safe autonomous systems. The goal is to enable robots and other autonomous systems to operate safely while interacting closely with humans, as required for applications like next-generation manufacturing infrastructure. The university will develop a new algorithmic framework for assuring safety in autonomous robotic systems. The framework aims to optimize...
This National Science Foundation (NSF) Project Grant award under the Computer and Information Science and Engineering (CFDA 47.070) program provides $338,536 to George Mason University to enhance the safety and reliability of autonomous vehicle systems. The project aims to identify and mitigate vulnerabilities in the control software and machine learning components of autonomous vehicles through a combination of model-based and data-driven approaches for end-to-end resilience assessment and...
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, and...
This federal Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program provides $375,000 to the University of Massachusetts to conduct research on aligning the norms of autonomous robots with human values. The key activities include: Developing inverse reinforcement learning algorithms to learn reward functions from demonstrations constrained by deontic logic. Systematically exploring the trained agent's...
The National Science Foundation (NSF) awarded a $1,174,741 Project Grant to Rector & Visitors Of The University Of Virginia, doing business as the University of Virginia, to conduct research under the NSF Division of Computing and Communication Foundations program (CFDA 47.070). The project, titled "SHF: MEDIUM: MORE RELIABLE IMAGE NETWORKS THROUGH SCENE-BASED SPECIFICATION, NEURO-SYMBOLIC TRAINING, AND SYSTEMATIC SPECIFICATION-DRIVEN TESTING", seeks to develop techniques to assure...
The National Science Foundation (NSF) has awarded a 5-year, $665,000 Faculty Early Career Development (CAREER) grant under the Engineering program (CFDA 47.041) to the Rector & Visitors of the University of Virginia (UVA). The project aims to develop new computational frameworks that support a broad range of cooperative and non-cooperative physical interactions between humans and robots. Key components include shared representations for physical social interaction, higher-order theory of...