Certificates and Witnesses for Probabilistic Model Checking -- Examples
收藏数据链接：
官方服务：
资源简介：
This repository includes a jupyter notebook in which many of the examples from the thesis "Certificates and Witnesses for Probabilistic Model Checking" are made executable using the tool SWITSS.
提供机构：
figshare创建时间：
2022-02-21
