Search for tag: "black-box verification"

Thumbnail for entry ECE/CS 584 Project Planning Discussion

ECE/CS 584 Project Planning Discussion

duration 1 hour 14 minutes

ECE/CS 584 Project Planning Discussion

ECE/CS 584 Project Planning Discussion

ECE/CS 584 Project Planning Discussion

Sample projects: Controller Synthesis -- Kristina Miller Black-box verification -- Dawei Sun

controller synthesis
black-box verification
From  Sayan Mitra 15 plays 0  
Date of creation
9/21/2021 12:00 AM
Video credits
Kristina miller; Dawei Sun