Karena X. Cai

According to our database, Karena X. Cai authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Rules of the Road: Formal Guarantees for Autonomous Vehicles With Behavioral Contract Design.

Karena X. Cai, Tung Phan-Minh, Soon-Jo Chung, Richard M. Murray

IEEE Trans. Robotics, June, 2023

2020

Rules of the Road: Towards Safety and Liveness Guarantees for Autonomous Vehicles.

Karena X. Cai, Tung Phan-Minh, Soon-Jo Chung, Richard M. Murray

CoRR, 2020

2019

Towards Assume-Guarantee Profiles for Autonomous Vehicles.

Tung Phan-Minh, Karena X. Cai, Richard M. Murray

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Robust Estimation Framework with Semantic Measurements.

Karena X. Cai, Alexei Harvard, Richard M. Murray, Soon-Jo Chung

Proceedings of the 2019 American Control Conference, 2019