Search for tag: "discrete models"

Thumbnail for entry 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
discrete models
From  Sayan Mitra 20 plays 0  
Date of creation
11/9/2020 12:00 AM
Video credits
Sayan Mitra
Contributors and team members
Sayan Mitra