Towards Assume-Guarantee Profiles for Autonomous Vehicles

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 practice, we propose a systematic method for ordering an autonomous vehicle's set of specifications so its decision-making process is both transparent and safe. Moreover, we introduce these profiles in the context of assume-guarantee profiles (behavioral contracts) that agents are expected to behave according to.

Contact Me

If you would like to reach out to me, you can find my information below.

Annenberg 331, Caltech

kcai (at)