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.
创建时间：
2024-01-31
