Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions

Ishan Saxena, Bernd Westphal, Martin Fränzle

Automated Driving Functions (ADFs) need to comply with spatial properties of varied complexity while driving on public roads. Since such situations are safety-critical in nature, i…