Karena X. Cai

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Robust Estimation

Structured Environments

Autonomous Vehicles

Top Venues

Publications

Karena X. Cai, Tung Phan-Minh, Soon-Jo Chung, Richard M. Murray
Rules of the Road: Formal Guarantees for Autonomous Vehicles With Behavioral Contract Design. IEEE Trans. Robotics 39 (3) (2023)
Karena X. Cai, Tung Phan-Minh, Soon-Jo Chung, Richard M. Murray
Rules of the Road: Towards Safety and Liveness Guarantees for Autonomous Vehicles. CoRR (2020)
Tung Phan-Minh, Karena X. Cai, Richard M. Murray
Towards Assume-Guarantee Profiles for Autonomous Vehicles. CDC (2019)
Karena X. Cai, Alexei Harvard, Richard M. Murray, Soon-Jo Chung
Robust Estimation Framework with Semantic Measurements. ACC (2019)
Tung Phan-Minh, Karena X. Cai, Richard M. Murray
Towards Assume-Guarantee Profiles for Autonomous Vehicles. CoRR (2019)