← Back to contracts

CAREER: Toward Guaranteed Reliability in AI-Enabled Robotic Teleoperation Through Formal Logic and Certification

US NSF grant open #nsf-2541947

Summary

This project will create a safe and reliable way for people and robots to work together through teleoperation (remote control of machines), especially in high-risk settings such as surgery, disaster response, and space or nuclear operations. In these environments, robots must perform precise tasks while responding to human guidance. However, many current artificial intelligence approaches are difficult to understand and verify, which limits trust and wider use in safety-critical applications. This project will develop new methods that will help robots better understand human intent, provide ti

CAREER: Toward Guaranteed Reliability in A…
Onboard