vix.ing · top · new · best · stats · spec

Leung, Karen

  1. Backpropagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods
    2020/07/31 by Leung, Karen, Aréchiga, Nikos, Pavone, Marco · 11 citations
    #Computation and Language (cs.CL) #FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering
  2. Driving Everywhere with Large Language Model Policy Adaptation
    2024/02/08 by Boyi Li, Li, Boyi, Yue Wang +11 · 10 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Robotics (cs.RO) #Text Readability and Simplification
  3. CoBL-Diffusion: Diffusion-Based Conditional Robot Planning in Dynamic Environments Using Control Barrier and Lyapunov Functions
    2024/06/08 by Kazuki Mizuta, Karen Ka Yan Leung, Mizuta, Kazuki +1 · 10 citations
    Computer Science · Engineering · #Robotic Path Planning Algorithms #Reinforcement Learning in Robotics #Advanced Control Systems Optimization
  4. Nonlinear Stabilization via Control Contraction Metrics: a Pseudospectral Approach for Computing Geodesics
    2016/07/14 by Karen Leung, Ian R. Manchester, Leung, Karen +1 · 3 citations
    Engineering · #Adaptive Control of Nonlinear Systems #Advanced Control Systems Optimization #Control and Stability of Dynamical Systems #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
  5. Multimodal Probabilistic Model-Based Planning for Human-Robot Interaction
    2017/10/25 by Schmerling, Edward, Leung, Karen, Vollprecht, Wolf +1 · 3 citations
    #FOS: Computer and information sciences #Machine Learning (cs.LG) #Robotics (cs.RO)
  6. 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)
  7. 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
  8. 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
  9. Legible and Proactive Robot Planning for Prosocial Human-Robot Interactions
    2024/04/04 by Geldenbott, Jasper, Leung, Karen · 3 citations
    #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
  10. Generative Modeling of Multimodal Multi-Human Behavior
    2018/03/06 by Ivanovic, Boris, Schmerling, Edward, Leung, Karen +1 · 1 citation
    #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Robotics (cs.RO)
  11. Task-Aware Risk Estimation of Perception Failures for Autonomous Vehicles
    2023/05/03 by Antonante, Pasquale, Veer, Sushant, Leung, Karen +3 · 2 citations
    #FOS: Computer and information sciences #Robotics (cs.RO)
  12. Infusing Reachability-Based Safety into Planning and Control for Multi-agent Interactions
    2020/07/31 by Xinrui Wang, Wang, Xinrui, Karen Leung +3 · 1 citation
    Computer Science · Engineering · #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Robotics (cs.RO) #Systems and Control (eess.SY) #Traffic control and management #electronic engineering #information engineering
  13. 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
  14. STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
    2025/01/08 by Kapoor, Parv, Mizuta, Kazuki, Kang, Eunsuk +1 · 3 citations
    #FOS: Computer and information sciences #Machine Learning (cs.LG) #Robotics (cs.RO) #Symbolic Computation (cs.SC)
  15. 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
  16. Learning Autonomous Vehicle Safety Concepts from Demonstrations
    2022/10/06 by Leung, Karen, Veer, Sushant, Schmerling, Edward +1 · 1 citation
    #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
  17. Receding Horizon Planning with Rule Hierarchies for Autonomous Vehicles
    2022/12/06 by Veer, Sushant, Leung, Karen, Cosner, Ryan +3 · 1 citation
    #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
  18. Learning Responsibility Allocations for Safe Human-Robot Interaction with Applications to Autonomous Driving
    2023/03/06 by Cosner, Ryan K., Chen, Yuxiao, Leung, Karen +1 · 1 citation
    #FOS: Computer and information sciences #Robotics (cs.RO)
  19. Surprise Potential as a Measure of Interactivity in Driving Scenarios
    2025/02/08 by Ding, Wenhao, Veer, Sushant, Leung, Karen +2 · 2 citations
    #FOS: Computer and information sciences #Machine Learning (cs.LG) #Robotics (cs.RO)
  20. Learning responsibility allocations for multi-agent interactions: A differentiable optimization approach with control barrier functions
    2024/10/09 by Remy, Isaac, Fridovich-Keil, David, Leung, Karen · 1 citation
    #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Multiagent Systems (cs.MA) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering