Karena X. Cai | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Soon-Jo Chung
27 publications
Richard M. Murray
22 publications
Tung Phan-Minh
4 publications

research

∙ 11/28/2020

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

The ability to guarantee safety and progress for all vehicles is vital t...

0 Karena X. Cai, et al. ∙

research

∙ 09/11/2019

Towards Assume-Guarantee Profiles for Autonomous Vehicles

Rules or specifications for autonomous vehicles are currently formulated...

0 Tung Phan-Minh, et al. ∙