Karen Leung

Stanford University, City University of Hong Kong, University of Washington, Vaughn College of Aeronautics and Technology

Papers

12

Total Citations

267

H-Index

8

About

No biography available yet.

Research Focus

Artificial intelligence12 · 267 citations
Computer science12 · 267 citations
Robot11 · 248 citations
Engineering5 · 140 citations
Theoretical computer science5 · 129 citations
Controller (irrigation)4 · 126 citations
Leverage (statistics)3 · 117 citations
Reachability3 · 115 citations
Planner3 · 115 citations
Trajectory4 · 113 citations
Computation3 · 101 citations
Robustness (evolution)3 · 101 citations

Key Achievements

8
H-Index
12
Papers
267
Total Citations
22
Avg Citations/Paper
🏆 Most Cited Paper
On infusing reachability-based safety assurance within planning frameworks for human–robot vehicle interactions
93 citations · 2020
📈 Most Prolific Year: 2020 (4 Papers)
🤝 Key Collaborators: 14
🏛 Institutions: Stanford University, City University of Hong Kong, University of Washington, Vaughn College of Aeronautics and Technology

Top Papers

  1. 1
    On infusing reachability-based safety assurance within planning frameworks for human–robot vehicle interactions
    93 citations · 2020
  2. 2
    Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods
    45 citations · 2022
  3. 3
    Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods
    37 citations · 2021
  4. 4
    Backpropagation for Parametric STL
    19 citations · 2019
  5. 5
    Infusing Reachability-Based Safety into Planning and Control for Multi-agent Interactions
    17 citations · 2020
  6. 6
    Design of a navigation system for a household mobile robot using neural networks
    15 citations · 2002
  7. 7
    Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications
    11 citations · 2022
  8. 8
    Multimodal Probabilistic Model-Based Planning for Human-Robot Interaction
    10 citations · 2018
  9. 9
    Generative Modeling of Multimodal Multi-Human Behavior
    7 citations · 2018
  10. 10
    On Infusing Reachability-Based Safety Assurance Within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions
    5 citations · 2020

Key Collaborators

MPMarco Pavone10 shared papersESEdward Schmerling5 shared papersNANikos Aréchiga3 shared papersBIBoris Ivanovic2 shared papersMCMo Chen2 shared papersJCJ. Christian Gerdes2 shared papersJMJohn M. Talbot2 shared papersHSH.C. Sze1 shared papersWVWolf Vollprecht1 shared papersMZMengxuan Zhang1 shared papersPWPeter W. Tse1 shared papersXWXinrui Wang1 shared papersSLSebastian Lang1 shared papersJGJasper Geldenbott1 shared papers
Not generated yet