default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKaren Leung
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c22]Boyi Li, Yue Wang, Jiageng Mao, Boris Ivanovic, Sushant Veer, Karen Leung, Marco Pavone:
Driving Everywhere with Large Language Model Policy Adaptation. CVPR 2024: 14948-14957- [c21]Jasper Geldenbott, Karen Leung:
Legible and Proactive Robot Planning for Prosocial Human-Robot Interactions. ICRA 2024: 13397-13403 - [i25]Boyi Li, Yue Wang, Jiageng Mao, Boris Ivanovic, Sushant Veer, Karen Leung, Marco Pavone:
Driving Everywhere with Large Language Model Policy Adaptation. CoRR abs/2402.05932 (2024) - [i24]Jasper Geldenbott, Karen Leung:
Legible and Proactive Robot Planning for Prosocial Human-Robot Interactions. CoRR abs/2404.03734 (2024) - [i23]Kazuki Mizuta, Karen Leung:
CoBL-Diffusion: Diffusion-Based Conditional Robot Planning in Dynamic Environments Using Control Barrier and Lyapunov Functions. CoRR abs/2406.05309 (2024) - 2023
- [j3]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): 356-370 (2023) - [c20]Karen Leung, Sushant Veer, Edward Schmerling, Marco Pavone:
Learning Autonomous Vehicle Safety Concepts from Demonstrations. ACC 2023: 3193-3200 - [c19]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: 1507-1513 - [c18]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: 3261-3267 - [c17]Ryan K. Cosner, Yuxiao Chen, Karen Leung, Marco Pavone:
Learning Responsibility Allocations for Safe Human-Robot Interaction with Applications to Autonomous Driving. ICRA 2023: 9757-9763 - [c16]Kai-Chieh Hsu, Karen Leung, Yuxiao Chen, Jaime F. Fisac, Marco Pavone:
Interpretable Trajectory Prediction for Autonomous Vehicles via Counterfactual Responsibility. IROS 2023: 5918-5925 - [c15]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: 1-8 - [c14]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 - [i22]Ryan K. Cosner, Yuxiao Chen, Karen Leung, Marco Pavone:
Learning Responsibility Allocations for Safe Human-Robot Interaction with Applications to Autonomous Driving. CoRR abs/2303.03504 (2023) - [i21]Christopher R. Hayner, Samuel C. Buckner, Daniel Broyles, Evelyn Madewell, Karen Leung, Behçet Açikmese:
HALO: Hazard-Aware Landing Optimization for Autonomous Systems. CoRR abs/2304.01583 (2023) - [i20]Pasquale Antonante, Sushant Veer, Karen Leung, Xinshuo Weng, Luca Carlone, Marco Pavone:
Task-Aware Risk Estimation of Perception Failures for Autonomous Vehicles. CoRR abs/2305.01870 (2023) - [i19]Sever Topan, Yuxiao Chen, Edward Schmerling, Karen Leung, Jonas Nilsson, Michael Cox, Marco Pavone:
Refining Obstacle Perception Safety Zones via Maneuver-Based Decomposition. CoRR abs/2308.06337 (2023) - [i18]Daniel Broyles, Christopher R. Hayner, Karen Leung:
WiSARD: A Labeled Visual and Thermal Image Dataset for Wilderness Search and Rescue. CoRR abs/2309.04453 (2023) - [i17]Aadhar Chauhan, Isaac Remy, Danny Broyles, Karen Leung:
MISFIT-V: Misaligned Image Synthesis and Fusion using Information from Thermal and Visual. CoRR abs/2309.13216 (2023) - 2022
- [c13]Karen Leung, Marco Pavone:
Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications. ACC 2022: 178-185 - [c12]Alec Farid, Sushant Veer, Boris Ivanovic, Karen Leung, Marco Pavone:
Task-Relevant Failure Detection for Trajectory Predictors in Autonomous Vehicles. CoRL 2022: 1959-1969 - [c11]Daniel Broyles, Christopher R. Hayner, Karen Leung:
WiSARD: A Labeled Visual and Thermal Image Dataset for Wilderness Search and Rescue. IROS 2022: 9467-9474 - [c10]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: 1201-1210 - [i16]Karen Leung, Marco Pavone:
Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications. CoRR abs/2202.01997 (2022) - [i15]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 abs/2206.12471 (2022) - [i14]Alec Farid, Sushant Veer, Boris Ivanovic, Karen Leung, Marco Pavone:
Task-Relevant Failure Detection for Trajectory Predictors in Autonomous Vehicles. CoRR abs/2207.12380 (2022) - [i13]Karen Leung, Sushant Veer, Edward Schmerling, Marco Pavone:
Learning Autonomous Vehicle Safety Concepts from Demonstrations. CoRR abs/2210.02761 (2022) - [i12]Sushant Veer, Karen Leung, Ryan K. Cosner, Yuxiao Chen, Marco Pavone:
Receding Horizon Planning with Rule Hierarchies for Autonomous Vehicles. CoRR abs/2212.03323 (2022) - 2021
- [j2]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): 295-302 (2021) - [c9]Simon Schaefer, Karen Leung, Boris Ivanovic, Marco Pavone:
Leveraging Neural Network Gradients within Trajectory Optimization for Proactive Human-Robot Interactions. ICRA 2021: 9673-9679 - [c8]Karen Leung, Nikos Aréchiga, Marco Pavone:
Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods. WAFR 2021: 432-449 - [i11]Andrea Bajcsy, Karen Leung, Edward Schmerling, Marco Pavone:
Towards the Unification and Data-Driven Synthesis of Autonomous Vehicle Safety Concepts. CoRR abs/2107.14412 (2021) - 2020
- [j1]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) - [c7]Xinrui Wang, Karen Leung, Marco Pavone:
Infusing Reachability-Based Safety into Planning and Control for Multi-agent Interactions. IROS 2020: 6252-6259 - [c6]Jonathan A. DeCastro, Karen Leung, Nikos Aréchiga, Marco Pavone:
Interpretable Policies from Formally-Specified Temporal Properties. ITSC 2020: 1-7 - [i10]Xinrui Wang, Karen Leung, Marco Pavone:
Infusing Reachability-Based Safety into Planning and Control for Multi-agent Interactions. CoRR abs/2008.00067 (2020) - [i9]Karen Leung, Nikos Aréchiga, Marco Pavone:
Back-propagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods. CoRR abs/2008.00097 (2020) - [i8]Boris Ivanovic, Karen Leung, Edward Schmerling, Marco Pavone:
Multimodal Deep Generative Models for Trajectory Prediction: A Conditional Variational Autoencoder Approach. CoRR abs/2008.03880 (2020) - [i7]Simon Schaefer, Karen Leung, Boris Ivanovic, Marco Pavone:
Leveraging Neural Network Gradients within Trajectory Optimization for Proactive Human-Robot Interactions. CoRR abs/2012.01027 (2020) - [i6]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 abs/2012.03390 (2020)
2010 – 2019
- 2019
- [c5]Karen Leung, Nikos Aréchiga, Marco Pavone:
Backpropagation for Parametric STL. IV 2019: 185-192 - [i5]Nikos Aréchiga, Jonathan A. DeCastro, Soonho Kong, Karen Leung:
Better AI through Logical Scaffolding. CoRR abs/1909.06965 (2019) - 2018
- [c4]Edward Schmerling, Karen Leung, Wolf Vollprecht, Marco Pavone:
Multimodal Probabilistic Model-Based Planning for Human-Robot Interaction. ICRA 2018: 1-9 - [c3]Boris Ivanovic, Edward Schmerling, Karen Leung, Marco Pavone:
Generative Modeling of Multimodal Multi-Human Behavior. IROS 2018: 3088-3095 - [c2]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: 561-574 - [i4]Boris Ivanovic, Edward Schmerling, Karen Leung, Marco Pavone:
Generative Modeling of Multimodal Multi-Human Behavior. CoRR abs/1803.02015 (2018) - [i3]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 abs/1812.11315 (2018) - 2017
- [c1]Karen Leung, Ian R. Manchester:
Nonlinear stabilization via Control Contraction Metrics: A pseudospectral approach for computing geodesics. ACC 2017: 1284-1289 - [i2]Edward Schmerling, Karen Leung, Wolf Vollprecht, Marco Pavone:
Multimodal Probabilistic Model-Based Planning for Human-Robot Interaction. CoRR abs/1710.09483 (2017) - 2016
- [i1]Karen Leung, Ian R. Manchester:
Chebyshev Pseudospectral Method for Nonlinear Stabilization using Control Contraction Metrics. CoRR abs/1607.04340 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
