Speaker: Jyo Deshmuk (USC) Title: “Lightweight Formal Methods for the Design, Verification, Synthesis and Analysis of Autonomous Systems” Date: 24/03/2022 – Meeting Link Time: 16:00-17:00 (BST)