Published October 15, 2023
| Version v1
Software
Open
Supplementary Material for TACAS Submission "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development"
Creators
Description
This archive contains supplementary material for the TACAS 2024 submission "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".
Content
- `planner.cpp`: The mock behavior planner described in the paper, used to control an automated car on the highway. (For demonstration purposes only! It is deliberately designed to violate major safety requirements.) The file can be compiled and run on its own, and it can be model-checked in the context of an environment model, as explained in the paper.
- Two versions of the environment model which provide the surrounding traffic simulation for model-checking of the mock planner (or other custom behavior planners).
- `EnvModel_3NONEGOS.smv`: With 3 non-ego cars, as used to illustrate the "Double Merge" issue in the paper.
- `EnvModel_7NONEGOS.smv`: With 7 non-ego cars, as used to illustrate the "Gap Occlusion" issue in the paper.
- `Towards_Safe_Autonomous_Driving_Appendix.pdf`: The appendix of the paper which is not published as part of the conference proceedings, containing an in-depth description of how the transition system to model-check is created.
- `LICENSE.txt`: The license under which the files are provided.
Files
LICENSE.txt
Files
(844.6 kB)
Name | Size | Download all |
---|---|---|
md5:4b871c1d8a3e3f6a8e458fe1807b1940
|
101.5 kB | Download |
md5:0fe1d84d02ad22252b874f7e7002b6cf
|
206.5 kB | Download |
md5:4d034436d1a38e976ab4d76f9a77dd01
|
35.3 kB | Preview Download |
md5:deeb018ee075b0426fd1de6caff225c2
|
6.1 kB | Download |
md5:70e396af94a290298017637c0c41584a
|
495.2 kB | Preview Download |
Additional details
Dates
- Submitted
-
2023-10-15