FSTTCS2019 S004 Towards Verified Artificial Intelligence with VerifAI and Scenic
Channel: Studio IIT Bombay
Date: 2021-08-16

This video has been released by Studio IIT Bombay under Creative Commons license.