Models and Infrastructure used in "Deep Statistical Model Checking"
Description
This repository contains the models and all other infrastructure (learning procedure, NNs, Jani generator, maps, modes & mcsta binaries) used in the FORTE 2020 paper "Deep Statistical Model Checking".
Resources
| Name |
Format |
Description |
Link |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-3760098 |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-3760098 |
Tags
- model-checking,-learning,-statistical-model-checking,-deep-statistical-model-checking,-reinforcement-learning,-racetrack