Karen Leung

关于

暂无简介。

研究焦点

主要成就

代表论文

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

   93 次引用 · 2020
2. 2
   Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods

   45 次引用 · 2022
3. 3
   Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods

   37 次引用 · 2021
4. 4
   Backpropagation for Parametric STL

   19 次引用 · 2019
5. 5
   Infusing Reachability-Based Safety into Planning and Control for Multi-agent Interactions

   17 次引用 · 2020
6. 6
   Design of a navigation system for a household mobile robot using neural networks

   15 次引用 · 2002
7. 7
   Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications

   11 次引用 · 2022
8. 8
   Multimodal Probabilistic Model-Based Planning for Human-Robot Interaction

   10 次引用 · 2018
9. 9
   Generative Modeling of Multimodal Multi-Human Behavior

   7 次引用 · 2018
10. 10
    On Infusing Reachability-Based Safety Assurance Within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions

    5 次引用 · 2020

主要合作者