Liability for Accidents between Road Users whose Activity Levels Are Verifiable

A game-theoretic setting ofmultidirectional externalities is explored where losses arise from accidents between road users. Strategically acting agents include drivers as well as the manufacturers of their vehicles. The drivers' action choice is assumed verifiable, an assumption that would particularly easily be met in case of autonomous vehicles. The compensation principle serves to prove the efficiency of all rules that satisfy a certain compensation requirement. This principle remains valid for choice sets of any structure, including finite spaces that may better fit real cases. Calculus, in contrast, works only for settings of continuous choice.