A Method for Designing Autonomous Robots that Know Their Limits. - Alvika Gautam; Tim Whiting; Xuan Cao; Michael A. Goodrich; Jacob W. Crandall (ICRA, 2022)

Robot Proficiency Self-Assessment Using Assumption-Alignment Tracking. - Xuan Cao; Alvika Gautam; Tim Whiting; Skyler Smith; Michael A. Goodrich; Jacob W. Crandall (IEEE Trans. Robotics, 2023)

Context-Sensitive Demand-Driven Control-Flow Analysis. - Tim Whiting; Kimball Germane (ESOP (2), 2025)