Search for tag: "discrete models"

Thumbnail for Safe autonomy (ECE498SM) Lecture 16: Safety and Verification

Safe autonomy (ECE498SM) Lecture 16: Safety and…

duration 1 hour 18 minutes

Safe autonomy (ECE498SM) Lecture 16: Safety and…

Safe autonomy (ECE498SM) Lecture 16: Safety and Verification

Safe autonomy (ECE498SM) Lecture 16: Safety and Verification

verification, safety, discrete models, examples

verification
+1 More
From  Sayan Mitra 21 plays 0  
Date of creation
11/9/2020 6:00 AM
Video credits
Sayan Mitra
Contributors and team members
Sayan Mitra