Karen Leung
- Driving Everywhere with Large Language Model Policy Adaptation
2024/02/08 by Boyi Li, Yue Wang, Li, Boyi +11 · 15 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
- Nonlinear Stabilization via Control Contraction Metrics: a Pseudospectral Approach for Computing Geodesics
2016/07/14 by Karen Leung, Ian R. Manchester, Leung, Karen +1 · 4 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
- Infusing Reachability-Based Safety into Planning and Control for Multi-agent Interactions
2020/07/31 by Xinrui Wang, Karen Leung, Wang, Xinrui +3 · 2 citations
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