TY  - RPRT
TI  - Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions
AU  - Ishan Saxena
AU  - Bernd Westphal
AU  - Martin Fränzle
PY  - 2025
DO  - 10.4204/eptcs.436.3
UR  - https://arxiv.org/abs/2511.14430
ID  - 2511.14430
ER  -