Recent & Upcoming Talks

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 …

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 …

2019

RuleBooks for Autonomous Vehicles

Behavior Specifications of Autonomous Vehicles

One of the major challenges in the development, validation and deployment of autonomous vehicles is to understand what constitutes …

Behavior Specifications of Autonomous Vehicles

2016

An Exciting Journey with Autonomous Vehicles