On Using Formal Methods For Safe and Robust Robot Autonomy (Karen Leung, PhD Defense)

New channel Stanford Autonomous Systems Laboratory: title sample judged 'whole' (Nearly all uploads are substantive academic content—PhD defenses, workshop talks, tutorials, and conference presentation); passed a second screen for sellers/exam-prep/re-uploads; 0 of 3 sampled transcripts showed teaching, 0 not; titles picked one by one, checked strictly; oEmbed verified.

A 69-minute video from Stanford Autonomous Systems Laboratory: “On Using Formal Methods For Safe and Robust Robot Autonomy (Karen Leung, PhD Defense)”.

Video by Stanford Autonomous Systems Laboratory, played through YouTube's embedded player.