CAREER: Toward Guaranteed Reliability in AI-Enabled Robotic Teleoperation Through Formal L — NSF Award to University of California
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 h
| Award title | CAREER: Toward Guaranteed Reliability in AI-Enabled Robotic Teleoperation Through Formal L |
|---|---|
| Award ID | 2541947 |
| Awardee | University of California-Riverside |
| City | RIVERSIDE |
| State | CA |
| Amount obligated | $573,377 |
| Principal investigator | MINGYU CAI |
| Program | CPS-Cyber-Physical Systems |
| Start date | 06/01/2026 |
| Abstract | 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. Th |
| Source | NSF Awards |
$799/mo
Try NSFGrants →