Karen Leung - Concepedia

Author

Karen Leung

Stanford University ORCID

Also Known As

K.C. Leung, Karen Leung, Leung, Karen

Publications

389

Citations

H-Index

Concepts

All Affiliations

Stanford University Vaughn College of Aeronautics and Technology Toyota Research Institute Toyota Industries (United States)Nvidia (United Kingdom)

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	7	7	244
2	Computer Science	7	7	244
3	Health Sciences	1	1	17
4	Computer Engineering	1	1	43
5	Data Science	1	1	19

Karen Leung

Publications

314

Citations

H-Index

Page 1

	Year	Citations
On infusing reachability-based safety assurance within planning frameworks for human–robot vehicle interactions Karen Leung, Edward Schmerling, Mengxuan Zhang, The International Journal of Robotics Research EngineeringReachability ProblemVehicle ControlSafety ScienceAdvanced Driver-assistance System	2020	92
Nonlinear stabilization via Control Contraction Metrics: A pseudospectral approach for computing geodesics Karen Leung, Ian R. Manchester Real-time ControlEngineeringGeometric Singular Perturbation TheoryControl Contraction MetricsOnline Computations	2017	48
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 Artificial IntelligenceGradient-based MethodsEngineeringVerificationIntelligent Robotics	2022	43
Driving Everywhere with Large Language Model Policy Adaptation Boyi Li, Yue Wang, Jiageng Mao,	2024	20
Backpropagation for Parametric STL Karen Leung, Nikos Aréchiga, Marco Pavone Artificial IntelligenceParametric StlEngineeringMachine LearningComputation Graphs	2019	19
Interaction-Dynamics-Aware Perception Zones for Obstacle Detection Safety Evaluation Sever Topan, Karen Leung, Yuxiao Chen, 2022 IEEE Intelligent Vehicles Symposium (IV)	2022	18
Infusing Reachability-Based Safety into Planning and Control for Multi-agent Interactions Xinrui Wang, Karen Leung, Marco Pavone EngineeringReachability ProblemRobot Autonomy StackIntelligent RoboticsMulti-agent Interactions	2020	17
Design of a navigation system for a household mobile robot using neural networks Peter W. Tse, Sebastian Lang, Karen Leung, Artificial IntelligenceEngineeringRobotic AgentField RoboticsIntelligent Robotics	2002	15
Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications Karen Leung, Marco Pavone 2022 American Control Conference (ACC)	2022	11
Receding Horizon Planning with Rule Hierarchies for Autonomous Vehicles Sushant Veer, Karen Leung, Ryan K. Cosner,	2023	11

Page 1