Law meets engineering for trustworthy Autonomous Vehicles (LawIng4AV)
Ensuring that autonomous vehicles (AVs) conform to traffic regulations is crucial for their safe and legal operation on the roads, especially in the event of an accident. AVs must not only make correct decisions but also justify those decisions according to existing regulations, which requires reasoning about traffic rules and context-dependent situations. This workshop addresses challenges in validating the justifiability of AV decision-making, ensuring compliance with regulations, and encoding knowledge into AV systems. Topics include modeling rule-adherent multi-agent systems, formal traffic rule specifications, conflict resolution, and the impact of varying global regulations.
