Christopher Watson

Christopher Watson

Ph.D. student working at the intersection of robot learning and formal methods.

Scenario-based Compositional Verification of Autonomous Systems with Neural Perception

Published in International Symposium on AI Verification (SAIV) 2025, 2025

Recommended citation: Christopher Watson, Rajeev Alur, Divya Gopinath, Ravi Mangal, Corina Păsăreanu. "Scenario-based Compositional Verification of Autonomous Systems with Neural Perception." Symposium on AI Verification (SAIV), 2025.
Download Paper