Follow
Karen Leung
Title
Cited by
Cited by
Year
Multimodal probabilistic model-based planning for human-robot interaction
E Schmerling, K Leung, W Vollprecht, M Pavone
2018 IEEE international conference on robotics and automation (ICRA), 3399-3406, 2018
2112018
Multimodal deep generative models for trajectory prediction: A conditional variational autoencoder approach
B Ivanovic, K Leung, E Schmerling, M Pavone
IEEE Robotics and Automation Letters 6 (2), 295-302, 2020
1202020
Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods
K Leung, N Aréchiga, M Pavone
The International Journal of Robotics Research 42 (6), 356-370, 2023
992023
On infusing reachability-based safety assurance within planning frameworks for human–robot vehicle interactions
K Leung, E Schmerling, M Zhang, M Chen, J Talbot, JC Gerdes, ...
The International Journal of Robotics Research 39 (10-11), 1326-1345, 2020
962020
Generative modeling of multimodal multi-human behavior
B Ivanovic, E Schmerling, K Leung, M Pavone
2018 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2018
772018
Nonlinear stabilization via control contraction metrics: A pseudospectral approach for computing geodesics
K Leung, IR Manchester
2017 American Control Conference (ACC), 1284-1289, 2017
512017
On infusing reachability-based safety assurance within probabilistic planning frameworks for human-robot vehicle interactions
K Leung, E Schmerling, M Chen, J Talbot, JC Gerdes, M Pavone
Proceedings of the 2018 International Symposium on Experimental Robotics …, 2020
422020
Leveraging neural network gradients within trajectory optimization for proactive human-robot interactions
S Schaefer, K Leung, B Ivanovic, M Pavone
2021 IEEE International Conference on Robotics and Automation (ICRA), 9673-9679, 2021
302021
Backpropagation for parametric STL
K Leung, N Aréchiga, M Pavone
2019 IEEE Intelligent Vehicles Symposium (IV), 185-192, 2019
302019
Task-relevant failure detection for trajectory predictors in autonomous vehicles
A Farid, S Veer, B Ivanovic, K Leung, M Pavone
Conference on Robot Learning, 1959-1969, 2023
282023
Interaction-dynamics-aware perception zones for obstacle detection safety evaluation
S Topan, K Leung, Y Chen, P Tupekar, E Schmerling, J Nilsson, M Cox, ...
2022 IEEE Intelligent Vehicles Symposium (IV), 1201-1210, 2022
252022
Infusing reachability-based safety into planning and control for multi-agent interactions
X Wang, K Leung, M Pavone
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2020
172020
Semi-supervised trajectory-feedback controller synthesis for signal temporal logic specifications
K Leung, M Pavone
2022 American Control Conference (ACC), 178-185, 2022
152022
Generative modeling of multimodal multi-human behavior. In 2018 IEEE
B Ivanovic, E Schmerling, K Leung, M Pavone
RSJ International Conference on Intelligent Robots and Systems (IROS), 3088-3095, 0
14
Interpretable policies from formally-specified temporal properties
J DeCastro, K Leung, N Aréchiga, M Pavone
2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020
112020
The diver with a rotor
S Bharadwaj, N Duignan, HR Dullin, K Leung, W Tong
Indagationes Mathematicae 27 (5), 1147-1161, 2016
112016
Distributional prediction of human driving behaviours using mixture density networks
K Leung, E Schmerling, M Pavone
Technical report, Stanford University, 2016
102016
Receding horizon planning with rule hierarchies for autonomous vehicles
S Veer, K Leung, RK Cosner, Y Chen, P Karkus, M Pavone
2023 IEEE International Conference on Robotics and Automation (ICRA), 1507-1513, 2023
82023
Task-aware risk estimation of perception failures for autonomous vehicles
P Antonante, S Veer, K Leung, X Weng, L Carlone, M Pavone
arXiv preprint arXiv:2305.01870, 2023
82023
Wisard: A labeled visual and thermal image dataset for wilderness search and rescue
D Broyles, CR Hayner, K Leung
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2022
82022
The system can't perform the operation now. Try again later.
Articles 1–20