Spring 2026 - Instructor

CSCI 780 Validation and Verification of Autonomous Systems, William & Mary, 2026

This course will explore advanced techniques for validation and verification of automated systems. Students will analyze recent research approaches and state-of-the-art systems to understand the landscape of current autonomous system validation and verification techniques, gaining a deep understanding of, and hands-on experience with, such techniques.