Verifiability Talk 30: Lightweight Formal Methods for Autonomous Systems, Jyo Deshmuk (USC)
Channel: UKRI TAS Verifiability Node
Date: 2022-03-29

Verifiability Talk 30

Speaker:  Jyotirmoy V. Deshmukh (University of Southern California)

Title: Lightweight Formal Methods for the Design, Verification, Synthesis and Analysis of Autonomous Systems

Date: 24/03/2022
Time: 16:00-17:00 (GMT)