Karen Ka Yan Leung

1. CoBL-Diffusion: Diffusion-Based Conditional Robot Planning in Dynamic Environments Using Control Barrier and Lyapunov Functions
   2024/06/08 by Kazuki Mizuta, Mizuta, Kazuki, Karen Ka Yan Leung +1 · 10 citations
   Computer Science · Engineering · #Robotic Path Planning Algorithms #Reinforcement Learning in Robotics #Advanced Control Systems Optimization
2. Multimodal Deep Generative Models for Trajectory Prediction: A\n Conditional Variational Autoencoder Approach
   2020/08/09 by Boris Ivanovic, Ivanovic, Boris, Karen Ka Yan Leung +5 · 3 citations
   Computer Science · #FOS: Computer and information sciences #Human Pose and Action Recognition #Human-Computer Interaction (cs.HC) #Machine Learning (cs.LG) #Robotics (cs.RO)
3. Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications
   2022/02/04 by Karen Ka Yan Leung, Marco Pavone, Leung, Karen +1 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Reinforcement Learning in Robotics #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
4. HALO: Hazard-Aware Landing Optimization for Autonomous Systems
   2023/04/04 by Christopher R. Hayner, Samuel C. Buckner, Hayner, Christopher R. +9 · 2 citations
   Computer Science · Engineering · #Robotic Path Planning Algorithms #Spacecraft Dynamics and Control #Space Satellite Systems and Control
5. Leveraging Neural Network Gradients within Trajectory Optimization for\n Proactive Human-Robot Interactions
   2020/12/02 by Simon Schaefer, Schaefer, Simon, Karen Ka Yan Leung +5 · 1 citation
   Engineering · Computer Science · Psychology · #Autonomous Vehicle Technology and Safety #Human Pose and Action Recognition #Human-Automation Interaction and Safety
6. Task-Relevant Failure Detection for Trajectory Predictors in Autonomous Vehicles
   2022/07/25 by Alec Farid, Farid, Alec, Sushant Veer +7 · 1 citation
   Computer Science · Engineering · #Anomaly Detection Techniques and Applications #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Robotics (cs.RO) #Software Reliability and Analysis Research