AE for CompMDP
收藏官方服务：
资源简介：
This is the artifact of the paper “Compositional Probabilistic Model Checking with String Diagrams of MDPs”.
本数据集为论文《使用马尔可夫决策过程（Markov Decision Processes, MDPs）串图的组合式概率模型检验》的配套实验材料
提供机构：
figshare创建时间：
2023-04-29
社区交流群
科研交流群
商业服务