Published September 12, 2022
| Version v1
Dataset
Open
Artifact for the Scalability Study of the STTT Paper "Analyzing Neural Network Behavior through Deep Statistical Model Checking"
Authors/Creators
- 1. Saarland University, Saarland Informatics Campus
Description
Scripts and infrastructure for the scalability study on DSMC published in the STTT paper "Analyzing Neural Network Behavior through Deep Statistical Model Checking".
Files
STTT-DSMC-Scalability.zip
Files
(884.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:b9e2a385149a55b9e75f8af1cf6c7500
|
884.2 MB | Preview Download |