16:54 duration 16 minutes 54 seconds
CALS Communicator Series: College Content…
CALS Communicator Series: College Content Strategy/ New Website Unveiling
01:06:08 duration 1 hour 6 minutes
Correct-by-Consturction Synthesis for Autonomous…
Correct-by-Consturction Synthesis for Autonomous Robots - Hadas Kress-Gazit