| Towards assume-guarantee profiles for autonomous vehicles T Phan-Minh, KX Cai, RM Murray 2019 IEEE 58th Conference on Decision and Control (CDC), 2788-2795, 2019 | 16 | 2019 |
| Rules of the road: Towards safety and liveness guarantees for autonomous vehicles KX Cai, T Phan-Minh, SJ Chung, RM Murray CoRR, 2020 | 4 | 2020 |
| Rules of the road: Safety and liveness guarantees for autonomous vehicles KX Cai, T Phan-Minh, SJ Chung, RM Murray arXiv preprint arXiv:2011.14148, 2020 | 2 | 2020 |
| Rules of the Road: Formal Guarantees for Autonomous Vehicles With Behavioral Contract Design KX Cai, T Phan-Minh, SJ Chung, RM Murray IEEE Transactions on Robotics, 2023 | 1 | 2023 |
| Safe and interpretable autonomous systems design: Behavioral contracts and semantic-based perception KX Cai California Institute of Technology, 2021 | 1 | 2021 |
| Robust Estimation Framework with Semantic Measurements KX Cai, A Harvard, RM Murray, SJ Chung 2019 American Control Conference (ACC), 3809-3816, 2019 | 1 | 2019 |
