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.
If you would like to reach out to me, you can find my information below.