Doctoral Graduates

Thesis: Multi-rotor aircraft collision avoidance using partially observable Markov decision processes (2016)

Thesis: Automated air traffic control for non-towered airports (2016)

Thesis: Optimal planning with rare catastrophic events (2016)

Thesis: Automotive safety validation in simulation (2018)

Thesis: Safety and efficiency in autonomous vehicles through planning with uncertainty (2018)

Thesis: Efficient and low-cost localization of radio sources with an autonomous drone (2018)

Thesis: AdaStress: Adaptive stress testing and interpretable categorization for safety-critical systems (2019)

Thesis: Optimal aircraft rerouting during space launches (2019)

Thesis: Deep data-driven modeling and control of high-dimensional nonlinear systems (2019)

Thesis: Safe and scalable planning under uncertainty for autonomous driving (2020)

Thesis: Health-Aware Decision Making under Uncertainty for Complex Systems (2020)

Thesis: Safe and Efficient Aircraft Guidance and Control using Neural Networks (2020)

Thesis: Modularity and Coordination for Planning and Reinforcement Learning (2020)

Thesis: Algorithms for Black-Box Safety Validation (2021)

Thesis: Modeling Human Driving from Demonstrations (2021)

Thesis: Task Planning for Earth Observing Satellite Systems (2021)

Thesis: Approximate Methods for Validating Autonomous Systems in Simulation (2021)

Thesis: Reinforcement Learning: When Can We do Sample Efficient Exploration? (2021)

Thesis: Data-Driven Modeling of Dynamical Systems (2021)

Thesis: Hierarchical Decision Making in Coordinated Multi-Robot Networks (2021)

Thesis: Algorithms for Multi-Agent Robotic Assembly Planning (2021)

Wearable Systems for Monitoring Physical Activity and Optimizing an Exoskeleton (2021)

Thesis: Deep Reinforcement Learning Methods for Autonomous Driving Safety and Interactivity (2021)

Thesis: Monte Carlo Planning and Reinforcement Learning for Large Scale Sequential Decision Problems (2021)

Thesis: Uncertainty-aware spatiotemporal perception for autonomous vehicles (2022)

Thesis: Structured cooperative multi-agent coordination (2022)

Thesis: Trustworthy machine learning by efficiently verifying compressed models (2022)

Thesis: Neural network verification for nonlinear systems (2022)

Thesis: Reinforcement learning for adaptive sampling in X-ray applications (2022)