Models and Infrastructure used in "Deep Statistical Model Checking"
收藏数据链接：
官方服务：
资源简介：
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".
提供机构：
Zenodo创建时间：
2020-06-15
