Experimental part of CAV 2015 publication: Counterexample Explanation by Lear...
收藏B2FIND2026-04-28 收录
下载链接：
https://b2find.eudat.eu/dataset/5b05cc54-0303-5b76-94a0-406453e8116e
下载链接
链接失效反馈官方服务：
资源简介：
This repository contains the experimental part of the CAV 2015 publication Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. We extended the...
本仓库包含2015年CAV会议论文《通过在马尔可夫决策过程（Markov Decision Processes）中学习小型策略实现反例解释》的实验部分。我们对……进行了拓展。
