Verification and Validation of Safety Critical Autonomous Systems

Research seminar discussing a wide array of verification and validation techniques. Co-presented with Sydney Katz.