Karen Leung

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 49

Top Topics

Autonomous Vehicles

Failure Detection

Top Venues

Publications

Boyi Li, Yue Wang, Jiageng Mao, Boris Ivanovic, Sushant Veer, Karen Leung, Marco Pavone
Driving Everywhere with Large Language Model Policy Adaptation. CoRR (2024)
Kazuki Mizuta, Karen Leung
CoBL-Diffusion: Diffusion-Based Conditional Robot Planning in Dynamic Environments Using Control Barrier and Lyapunov Functions. CoRR (2024)
Jasper Geldenbott, Karen Leung
Legible and Proactive Robot Planning for Prosocial Human-Robot Interactions. CoRR (2024)
Jasper Geldenbott, Karen Leung
Legible and Proactive Robot Planning for Prosocial Human-Robot Interactions. ICRA (2024)
Sever Topan, Yuxiao Chen, Edward Schmerling, Karen Leung, Jonas Nilsson, Michael Cox, Marco Pavone
Refining Obstacle Perception Safety Zones via Maneuver-Based Decomposition. CoRR (2023)
Aadhar Chauhan, Isaac Remy, Danny Broyles, Karen Leung
MISFIT-V: Misaligned Image Synthesis and Fusion using Information from Thermal and Visual. CoRR (2023)
Christopher R. Hayner, Samuel C. Buckner, Daniel Broyles, Evelyn Madewell, Karen Leung, Behçet Açikmese
HALO: Hazard-Aware Landing Optimization for Autonomous Systems. ICRA (2023)
Daniel Broyles, Christopher R. Hayner, Karen Leung
WiSARD: A Labeled Visual and Thermal Image Dataset for Wilderness Search and Rescue. CoRR (2023)
Christopher R. Hayner, Samuel C. Buckner, Daniel Broyles, Evelyn Madewell, Karen Leung, Behçet Acikmese
HALO: Hazard-Aware Landing Optimization for Autonomous Systems. CoRR (2023)
Sever Topan, Yuxiao Chen, Edward Schmerling, Karen Leung, Jonas Nilsson, Michael Cox, Marco Pavone
Refining Obstacle Perception Safety Zones via Maneuver-Based Decomposition. IV (2023)
Pasquale Antonante, Sushant Veer, Karen Leung, Xinshuo Weng, Luca Carlone, Marco Pavone
Task-Aware Risk Estimation of Perception Failures for Autonomous Vehicles. CoRR (2023)
Sushant Veer, Karen Leung, Ryan K. Cosner, Yuxiao Chen, Péter Karkus, Marco Pavone
Receding Horizon Planning with Rule Hierarchies for Autonomous Vehicles. ICRA (2023)
Karen Leung, Nikos Aréchiga, Marco Pavone
Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods. Int. J. Robotics Res. 42 (6) (2023)
Ryan K. Cosner, Yuxiao Chen, Karen Leung, Marco Pavone
Learning Responsibility Allocations for Safe Human-Robot Interaction with Applications to Autonomous Driving. CoRR (2023)
Pasquale Antonante, Sushant Veer, Karen Leung, Xinshuo Weng, Luca Carlone, Marco Pavone
Task-Aware Risk Estimation of Perception Failures for Autonomous Vehicles. Robotics: Science and Systems (2023)
Kai-Chieh Hsu, Karen Leung, Yuxiao Chen, Jaime F. Fisac, Marco Pavone
Interpretable Trajectory Prediction for Autonomous Vehicles via Counterfactual Responsibility. IROS (2023)
Ryan K. Cosner, Yuxiao Chen, Karen Leung, Marco Pavone
Learning Responsibility Allocations for Safe Human-Robot Interaction with Applications to Autonomous Driving. ICRA (2023)
Karen Leung, Sushant Veer, Edward Schmerling, Marco Pavone
Learning Autonomous Vehicle Safety Concepts from Demonstrations. ACC (2023)
Alec Farid, Sushant Veer, Boris Ivanovic, Karen Leung, Marco Pavone
Task-Relevant Failure Detection for Trajectory Predictors in Autonomous Vehicles. CoRR (2022)
Karen Leung, Sushant Veer, Edward Schmerling, Marco Pavone
Learning Autonomous Vehicle Safety Concepts from Demonstrations. CoRR (2022)
Alec Farid, Sushant Veer, Boris Ivanovic, Karen Leung, Marco Pavone
Task-Relevant Failure Detection for Trajectory Predictors in Autonomous Vehicles. CoRL (2022)
Karen Leung, Marco Pavone
Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications. CoRR (2022)
Sushant Veer, Karen Leung, Ryan K. Cosner, Yuxiao Chen, Marco Pavone
Receding Horizon Planning with Rule Hierarchies for Autonomous Vehicles. CoRR (2022)
Sever Topan, Karen Leung, Yuxiao Chen, Pritish Tupekar, Edward Schmerling, Jonas Nilsson, Michael Cox, Marco Pavone
Interaction-Dynamics-Aware Perception Zones for Obstacle Detection Safety Evaluation. CoRR (2022)
Sever Topan, Karen Leung, Yuxiao Chen, Pritish Tupekar, Edward Schmerling, Jonas Nilsson, Michael Cox, Marco Pavone
Interaction-Dynamics-Aware Perception Zones for Obstacle Detection Safety Evaluation. IV (2022)
Daniel Broyles, Christopher R. Hayner, Karen Leung
WiSARD: A Labeled Visual and Thermal Image Dataset for Wilderness Search and Rescue. IROS (2022)
Karen Leung, Marco Pavone
Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications. ACC (2022)
Simon Schaefer, Karen Leung, Boris Ivanovic, Marco Pavone
Leveraging Neural Network Gradients within Trajectory Optimization for Proactive Human-Robot Interactions. ICRA (2021)
Andrea Bajcsy, Karen Leung, Edward Schmerling, Marco Pavone
Towards the Unification and Data-Driven Synthesis of Autonomous Vehicle Safety Concepts. CoRR (2021)
Boris Ivanovic, Karen Leung, Edward Schmerling, Marco Pavone
Multimodal Deep Generative Models for Trajectory Prediction: A Conditional Variational Autoencoder Approach. IEEE Robotics Autom. Lett. 6 (1) (2021)
Karen Leung, Nikos Aréchiga, Marco Pavone
Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods. WAFR (2021)
Simon Schaefer, Karen Leung, Boris Ivanovic, Marco Pavone
Leveraging Neural Network Gradients within Trajectory Optimization for Proactive Human-Robot Interactions. CoRR (2020)
Xinrui Wang, Karen Leung, Marco Pavone
Infusing Reachability-Based Safety into Planning and Control for Multi-agent Interactions. IROS (2020)
Xinrui Wang, Karen Leung, Marco Pavone
Infusing Reachability-Based Safety into Planning and Control for Multi-agent Interactions. CoRR (2020)
Jonathan DeCastro, Karen Leung, Nikos Aréchiga, Marco Pavone
Interpretable Policies from Formally-Specified Temporal Properties. ITSC (2020)
Karen Leung, Edward Schmerling, Mengxuan Zhang, Mo Chen, John Talbot, J. Christian Gerdes, Marco Pavone
On infusing reachability-based safety assurance within planning frameworks for human-robot vehicle interactions. Int. J. Robotics Res. 39 (10-11) (2020)
Karen Leung, Edward Schmerling, Mengxuan Zhang, Mo Chen, John Talbot, J. Christian Gerdes, Marco Pavone
On Infusing Reachability-Based Safety Assurance within Planning Frameworks for Human-Robot Vehicle Interactions. CoRR (2020)
Karen Leung, Nikos Aréchiga, Marco Pavone
Back-propagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods. CoRR (2020)
Boris Ivanovic, Karen Leung, Edward Schmerling, Marco Pavone
Multimodal Deep Generative Models for Trajectory Prediction: A Conditional Variational Autoencoder Approach. CoRR (2020)
Karen Leung, Nikos Aréchiga, Marco Pavone
Backpropagation for Parametric STL. IV (2019)
Nikos Aréchiga, Jonathan DeCastro, Soonho Kong, Karen Leung
Better AI through Logical Scaffolding. CoRR (2019)
Karen Leung, Edward Schmerling, Mo Chen, John Talbot, J. Christian Gerdes, Marco Pavone
On Infusing Reachability-Based Safety Assurance Within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions. ISER (2018)
Boris Ivanovic, Edward Schmerling, Karen Leung, Marco Pavone
Generative Modeling of Multimodal Multi-Human Behavior. CoRR (2018)
Karen Leung, Edward Schmerling, Mo Chen, John Talbot, J. Christian Gerdes, Marco Pavone
On Infusing Reachability-Based Safety Assurance within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions. CoRR (2018)
Boris Ivanovic, Edward Schmerling, Karen Leung, Marco Pavone
Generative Modeling of Multimodal Multi-Human Behavior. IROS (2018)
Edward Schmerling, Karen Leung, Wolf Vollprecht, Marco Pavone
Multimodal Probabilistic Model-Based Planning for Human-Robot Interaction. ICRA (2018)
Karen Leung, Ian R. Manchester
Nonlinear stabilization via Control Contraction Metrics: A pseudospectral approach for computing geodesics. ACC (2017)
Edward Schmerling, Karen Leung, Wolf Vollprecht, Marco Pavone
Multimodal Probabilistic Model-Based Planning for Human-Robot Interaction. CoRR (2017)
Karen Leung, Ian R. Manchester
Chebyshev Pseudospectral Method for Nonlinear Stabilization using Control Contraction Metrics. CoRR (2016)