Published October 17, 2023
| Version v2
Software
Open
Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development"
Creators
- 1. Robert Bosch GmbH
- 2. Fondazione Bruno Kessler
- 3. CARIAD SE
Description
<Winner of the Distinguished Artifact Award at TACAS24>
This is the artifact for the TACAS24 submission "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". It contains the full executable toolchain with which the paper results have been created. Additionally, it comprises the "mock" behavior planner in C++ and the environment model as used in the experiments. The toolchain can be used for a quick reproduction of the paper results related to the mock planner, or to experiment further by:
- verifying properties other than `!blamable_crash`,
- adapting the C++ code of the planner and/or
- adapting the environment model.
See README.md for a detailed description of the functionality of the artifact.
See this github repository for the open source project which will contain sources of the vfm binaries published here.
Files
Files
(59.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:139101f8a55834f3a1ef88a89ed37f5b
|
59.1 MB | Download |
Additional details
Dates
- Submitted
-
2023-10-13