Models and Infrastructure used in "Deep Statistical Model Checking"
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz · Zenodo (CERN European Organization for Nuclear Research) · 2020
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".