Recent & Upcoming Talks

2022

Establishing Correctness of Learning-Enabled Autonomous Systems

Autonomous systems are subject to multiple regulatory requirements due to their safety-critical nature. In general, it may not be …
May 27, 2022 8:40 AM — 9:05 AM ICRA 2022
Project

2020

Formal Methods for Control Synthesis of Autonomous Systems

This talk provides an overview of practical applications of formal methods in the design of autonomous systems that are subject to …
Oct 30, 2020 3:00 PM — 4:00 PM Caltech

Formal Methods for Control Synthesis of Autonomous Systems

This talk provides an overview of practical applications of formal methods in the design of autonomous systems that are subject to …
Oct 23, 2020 12:00 PM — 1:00 PM Worcester Polytechnic Institute

2019

RuleBooks for Autonomous Vehicles

Oct 3, 2019 3:00 PM — 3:30 PM UC Berkeley

Behavior Specifications of Autonomous Vehicles

One of the major challenges in the development, validation and deployment of autonomous vehicles is to understand what constitutes …
Jun 20, 2019 1:45 PM — 2:30 PM BITEC, Bangkok

Behavior Specifications of Autonomous Vehicles

Apr 28, 2019 2:35 PM — 3:10 PM University of Michigan

2016

An Exciting Journey with Autonomous Vehicles

Aug 2, 2016 10:00 PM — 7:00 PM Singapore
Video