Karen Leung

According to our database, Karen Leung authored at least 29 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Driving Everywhere with Large Language Model Policy Adaptation.

Boyi Li, Yue Wang, Jiageng Mao, Boris Ivanovic, Sushant Veer, Karen Leung, Marco Pavone

CoRR, 2024

2023

Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods.

Karen Leung, Nikos Aréchiga, Marco Pavone

Int. J. Robotics Res., May, 2023

MISFIT-V: Misaligned Image Synthesis and Fusion using Information from Thermal and Visual.

Aadhar Chauhan, Isaac Remy, Danny Broyles, Karen Leung

CoRR, 2023

Task-Aware Risk Estimation of Perception Failures for Autonomous Vehicles.

Pasquale Antonante, Sushant Veer, Karen Leung, Xinshuo Weng, Luca Carlone, Marco Pavone

Proceedings of the Robotics: Science and Systems XIX, Daegu, 2023

Refining Obstacle Perception Safety Zones via Maneuver-Based Decomposition.

Sever Topan, Yuxiao Chen, Edward Schmerling, Karen Leung, Jonas Nilsson, Michael Cox, Marco Pavone

Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

Interpretable Trajectory Prediction for Autonomous Vehicles via Counterfactual Responsibility.

Kai-Chieh Hsu, Karen Leung, Yuxiao Chen, Jaime F. Fisac, Marco Pavone

IROS, 2023

Receding Horizon Planning with Rule Hierarchies for Autonomous Vehicles.

Sushant Veer, Karen Leung, Ryan K. Cosner, Yuxiao Chen, Péter Karkus, Marco Pavone

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

HALO: Hazard-Aware Landing Optimization for Autonomous Systems.

Christopher R. Hayner, Samuel C. Buckner, Daniel Broyles, Evelyn Madewell, Karen Leung, Behçet Açikmese

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Learning Responsibility Allocations for Safe Human-Robot Interaction with Applications to Autonomous Driving.

Ryan K. Cosner, Yuxiao Chen, Karen Leung, Marco Pavone

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Learning Autonomous Vehicle Safety Concepts from Demonstrations.

Karen Leung, Sushant Veer, Edward Schmerling, Marco Pavone

Proceedings of the American Control Conference, 2023

2022

Receding Horizon Planning with Rule Hierarchies for Autonomous Vehicles.

Sushant Veer, Karen Leung, Ryan K. Cosner, Yuxiao Chen, Marco Pavone

CoRR, 2022

Interaction-Dynamics-Aware Perception Zones for Obstacle Detection Safety Evaluation.

Sever Topan, Karen Leung, Yuxiao Chen, Pritish Tupekar, Edward Schmerling, Jonas Nilsson, Michael Cox, Marco Pavone

Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

WiSARD: A Labeled Visual and Thermal Image Dataset for Wilderness Search and Rescue.

Daniel Broyles, Christopher R. Hayner, Karen Leung

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Task-Relevant Failure Detection for Trajectory Predictors in Autonomous Vehicles.

Alec Farid, Sushant Veer, Boris Ivanovic, Karen Leung, Marco Pavone

Proceedings of the Conference on Robot Learning, 2022

Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications.

Karen Leung, Marco Pavone

Proceedings of the American Control Conference, 2022

2021

Multimodal Deep Generative Models for Trajectory Prediction: A Conditional Variational Autoencoder Approach.

Boris Ivanovic, Karen Leung, Edward Schmerling, Marco Pavone

IEEE Robotics Autom. Lett., 2021

Towards the Unification and Data-Driven Synthesis of Autonomous Vehicle Safety Concepts.

Andrea Bajcsy, Karen Leung, Edward Schmerling, Marco Pavone

CoRR, 2021

Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods.

Karen Leung, Nikos Aréchiga, Marco Pavone

Proceedings of the Algorithmic Foundations of Robotics XIV, 2021

Leveraging Neural Network Gradients within Trajectory Optimization for Proactive Human-Robot Interactions.

Simon Schaefer, Karen Leung, Boris Ivanovic, Marco Pavone

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020

On infusing reachability-based safety assurance within planning frameworks for human-robot vehicle interactions.

Karen Leung, Edward Schmerling, Mengxuan Zhang, Mo Chen, John Talbot, J. Christian Gerdes, Marco Pavone

Int. J. Robotics Res., 2020

Interpretable Policies from Formally-Specified Temporal Properties.

Jonathan A. DeCastro, Karen Leung, Nikos Aréchiga, Marco Pavone

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Infusing Reachability-Based Safety into Planning and Control for Multi-agent Interactions.

Xinrui Wang, Karen Leung, Marco Pavone

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

2019

Better AI through Logical Scaffolding.

Nikos Aréchiga, Jonathan A. DeCastro, Soonho Kong, Karen Leung

CoRR, 2019

Backpropagation for Parametric STL.

Karen Leung, Nikos Aréchiga, Marco Pavone

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

2018

On Infusing Reachability-Based Safety Assurance Within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions.

Karen Leung, Edward Schmerling, Mo Chen, John Talbot, J. Christian Gerdes, Marco Pavone

Proceedings of the 2018 International Symposium on Experimental Robotics, 2018

Generative Modeling of Multimodal Multi-Human Behavior.

Boris Ivanovic, Edward Schmerling, Karen Leung, Marco Pavone

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Multimodal Probabilistic Model-Based Planning for Human-Robot Interaction.

Edward Schmerling, Karen Leung, Wolf Vollprecht, Marco Pavone

Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

2017

Nonlinear stabilization via Control Contraction Metrics: A pseudospectral approach for computing geodesics.

Karen Leung, Ian R. Manchester

Proceedings of the 2017 American Control Conference, 2017

2016

Chebyshev Pseudospectral Method for Nonlinear Stabilization using Control Contraction Metrics.

Karen Leung, Ian R. Manchester

CoRR, 2016