24
March
2022
Verifiability Talk 30: Lightweight Formal Methods for the Design, Verification, Synthesis and Analysis of Autonomous Systems
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)