skip to main content

CMX Student/Postdoc Seminar

Friday, March 1, 2024
4:00pm to 5:00pm
Add to Cal
Annenberg 213
Formal Test Synthesis and System-level Evaluation for Safety-Critical Autonomous Systems
Apurva Badithela, Graduate Student, Control & Dynamical Systems, Caltech,

Autonomous robotic systems have the potential for profoundly impacting society, with applications in search and rescue, improving transportation and mobility, and autonomous space missions, among others. However, these systems need to demonstrate correct behavior despite complexities in both the system design and the operational environment. For mainstream deployment in safety-critical applications, we need rigorous approaches to testing and evaluating these systems. In this talk, I will outline the present challenges with test and evaluation and discuss recent work on formally constructing test plans as well as methods to evaluate subsystems with respect to system-level task requirements. In particular, I will provide frameworks for reactive testing of high-level reasoning and decision making, and for evaluating perception in the context of system-level behavior.

For more information, please contact Jolene Brink by email at [email protected] or visit CMX Website.