Concepedia

Karen Leung

KL

12

Publications

314

Citations

10

H-Index

2002

Active since

Affiliations

Stanford University(Current)

Vaughn College of Aeronautics and Technology

Toyota Research Institute

Toyota Industries (United States)

Nvidia (United Kingdom)

Karen Leung is an author at Stanford University specializing in computer science, engineering, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringRobot LearningRoboticsAutomationIntelligent SystemsArtificial IntelligencePlanningDesign

Publications per year

2002–2024

12

Publications

12

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

Karen Leung, Edward Schmerling, Mengxuan Zhang et al. · The International Journal of Robotics Research · 2020 · 92 citations

Engineering, Reachability Problem, Vehicle Control +21

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

Karen Leung, Ian R. Manchester · 2017 · 48 citations

Real-time Control, Engineering, Geometric Singular Perturbation Theory +16

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

Karen Leung, Nikos Aréchiga, Marco Pavone · The International Journal of Robotics Research · 2022 · 43 citations

Artificial Intelligence, Gradient-based Methods, Engineering +24

Driving Everywhere with Large Language Model Policy Adaptation

Boyi Li, Yue Wang, Jiageng Mao et al. · 2024 · 20 citations

Backpropagation for Parametric STL

Karen Leung, Nikos Aréchiga, Marco Pavone · 2019 · 19 citations

Artificial Intelligence, Parametric Stl, Engineering +17

Rows per page

1–5 of 12