Search for tag: "satisfiabiliity"

Thumbnail for entry Safe autonomy (ECE498SM) Lectures

Safe autonomy (ECE498SM) Lectures

duration 1 hour 21 minutes

Safe autonomy (ECE498SM) Lectures

Safe autonomy (ECE498SM) Lectures

Safe autonomy (ECE498SM) Lectures

verification; satisfiability

satisfiabiliity
verification
safety
automata
From  Sayan Mitra 18 plays 0  
Date of creation
11/11/2020 12:00 AM
Video credits
sayan mitra
Contributors and team members
sayan mitra