1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.MA2020★ 1 cited
Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles
Karena X. Cai, Tung Phan-Minh, Soon-Jo Chung +1
The ability to guarantee safety and progress for all vehicles is vital to the success of the autonomous vehicle industry. We present a framework for designing autonomous vehicle be…
eess.SY2019
Towards Assume-Guarantee Profiles for Autonomous Vehicles
Tung Phan-Minh, Karena X. Cai, Richard M. Murray
Rules or specifications for autonomous vehicles are currently formulated on a case-by-case basis, and put together in a rather ad-hoc fashion. As a step towards eliminating this pr…