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 |
|---|---|---|---|
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource |