Published October 13, 2023
| Version v1
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
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.
Files
Files
(358.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:29adc0e8c659575423b42d0810cb83b7
|
358.6 MB | Download |
Additional details
Dates
- Submitted
-
2023-10-13