Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2511.14430 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915625658482688 |
|---|---|
| author | Saxena, Ishan Westphal, Bernd Fränzle, Martin |
| author_facet | Saxena, Ishan Westphal, Bernd Fränzle, Martin |
| contents | 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, it is necessary to continuously check ADFs for compliance with their spatial properties. Due to their complexity, such spatial properties need to be formalized to enable their automated checking. Scene Graphs (SGs) allow for an explicit structured representation of objects present in a traffic scene and their spatial relationships to each other. In this paper, we build upon the SG construct and propose the Abstract Scene Graph (ASG) formalism to formalize spatial properties of ADFs. We show using real-world examples how spatial properties can be formalized using ASGs. Finally, we present a framework that uses ASGs to perform Runtime Monitoring of ADFs. To this end, we also show algorithmically how a spatial property formalized as an ASG can be satisfied by ADF system behaviour. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_14430 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions Saxena, Ishan Westphal, Bernd Fränzle, Martin Logic in Computer Science 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, it is necessary to continuously check ADFs for compliance with their spatial properties. Due to their complexity, such spatial properties need to be formalized to enable their automated checking. Scene Graphs (SGs) allow for an explicit structured representation of objects present in a traffic scene and their spatial relationships to each other. In this paper, we build upon the SG construct and propose the Abstract Scene Graph (ASG) formalism to formalize spatial properties of ADFs. We show using real-world examples how spatial properties can be formalized using ASGs. Finally, we present a framework that uses ASGs to perform Runtime Monitoring of ADFs. To this end, we also show algorithmically how a spatial property formalized as an ASG can be satisfied by ADF system behaviour. |
| title | Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2511.14430 |