Research Seminars

The following research seminars provide an overview of our work.

• Fan Jiang, Incremental Hybrid Inference on Complex Models, April 1, 2022

• Max Cohen, Balancing Exploration and Safety in Online Model-based Reinforcement Learning for Uncertain Robotic Systems, April 1, 2022

• Spencer M. Richards, Control-Oriented Meta-Learning, Mar 4, 2022

• Marius Wiggert, Navigating Underactuated Agents Leveraging Uncertain Flows, Mar 4, 2022

• Adam Thorpe, LP Solutions to Stochastic Optimal Control Via Kernel Methods, Feb 4, 2022

• Ed Schmerling, February 2022 Quarterly Review, Feb 4, 2022

• Sydney Katz, Generating Probabilistic Safety Guarantees for Neural Network Controllers, Dec 3,2021

• Charles Dawson, Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions, Dec 3, 2021

• Anthony Corso, Feedback on NASA ULI Challenge Problems, Nov 5, 2021

• Kevin Leahy & Max Cohen, Uncertainty Quantification for Compositional Verification, Nov 5, 2021

• Chris Chin, Protocol-based Congestion Management for Advanced Air Mobility, Nov 5, 2021

• Jason Choi, Data-driven Methods for Safety Control Under Model Uncertainty, Oct 1, 2021

• Zhao Sun, Advancing Research-based Education at Hampton University Through the NASA ULI Project, Oct 1, 2021

• Alessandro Pinto, Compositional Specification and Verification of Autonomous Systems, Sept 10, 2021

• Yue Meng, Reactive and Safe Road User Simulations Using Neural Barrier Certificates, Sept 10, 2021

• Ed Schmerling, August 2021 Quarterly Review, Aug 6, 2021

• Karen Leung, STLCG: Incorporating Logical Structure into Gradient-based Methods , Aug 6, 2021

• Joe Vincent, Exact Reachability Analysis of Neural Networks with ReLU Activation, July 1, 2021

• Fan Jiang, Incremental Multi-Hypothesis Smoothing with Factor Graphs, July 1, 2021

• Joshua Pilipovsky, Chance-constrained Covariance Steering for VTOL Landing under Stochastic Disturbances, June 11, 2021

• Vignesh Sivaramakrishnan, Approximate Distribution Steering with Affine Feedback for Discrete-Time Linear Systems with Log-Concave Disturbances, June 11, 2021

• Kwassi Degue, Differentially Private LQG Control with Signal Aggregation, May 7, 2021

• Marco Pavone, May 2021 Quarterly Review, May 7, 2021

• David Fridovich-Keil Parallelizable Methods for Multimodal Stochastic Optimal Control, April 2, 2021

• Anthony Corso Verification of Image-Based Controllers , April 2, 2021

• Vicenç Rubies Royo, Differential Approaches for Neural Network Verification using Shadow Pricing, March 5, 2021

• Apoorva Sharma, Sketching Curvature for Efficient Out-of-Distribution Detection in Deep Neural Networks, March 5, 2021