IPPC-2008 发布 blocks world 数据集, 应用在 模型检测、概率逻辑 领域

IPPC-2008 本次发布的数据集 blocks world, 该数据集对“方块世界”进行了简化，包含了表示方块之间互动的关系和动作，并给动作设定了成功的概率。具体来说，数据集包括了如“在/2”和“清除/1”这样的关系，以及用于评估pCTL-REBEL模型检测方法的“移动/3”等动作。任务是对概率模型进行检查。

查看blocks world

关于 IPPC-2008 , -

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。