Published March 3, 2025
| Version 1.0
Software
Open
LS-Lab/Verified-Neural-Highway-Control: 1.0
Authors/Creators
- 1. Karlsruhe Institute of Technology
Description
Complete artifact for the ABZ'2025 case study. The corresponding Docker Image can be found at ghcr.io/ls-lab/drl-abz25
Files
LS-Lab/Verified-Neural-Highway-Control-1.0.zip
Files
(44.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:f80ea28e8c5993f80732327d32bf2ff7
|
44.9 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/LS-Lab/Verified-Neural-Highway-Control/tree/1.0 (URL)
Software
- Repository URL
- https://github.com/LS-Lab/Verified-Neural-Highway-Control