A Formal Classification of Physical Risks in Autonomous Vehicle Traffic

  • Autonomous vehicle traffic presents multiple sources of risk that may lead to injuries and physical damage. Despite ongoing advances in autonomous driving, a systematic understandingof these physical risk sources remains limited. This thesis aims to identify and classify such risksin a structured manner. Building on this classification, a subset of relevant risk sources will be formally modeled by extending USL-TR (Urban Spatial Logic for Traffic Rules). The goal is to provide a foundation for improved analysis and mitigation of physical risks in autonomous vehicle systems.