Formal Verification of End-to-End Deep Reinforcement Learning

Yasser Shoukry, University of California, Irvine

How I Learned to Stop Worry and Start Loving Lifting to Infinite Dimensions

Ram Vasudevan, University of Michigan

Monitoring Over the Long Term and Rethinking Interaction in Multi-Robot Teams

Ryan Williams, Virginia Tech

Low Gain Feedback: For Constrained Control, Nonlinear Stabilization and Control of Time Delay Systems

Zongli Lin, University of Virginia

Distributed Energy Resources: PDEs and Hopfield Methods

Scott Moura, UC Berkeley

A Geometric Method of Hoverability Analysis for Multirotor UAVs

Tatsuya Ibuki, Tokyo Institute of Technology