IPPC-2008 本次发布的数据集 blocks world, 该数据集对“方块世界”进行了简化,包含了表示方块之间互动的关系和动作,并给动作设定了成功的概率。具体来说,数据集包括了如“在/2”和“清除/1”这样的关系,以及用于评估pCTL-REBEL模型检测方法的“移动/3”等动作。任务是对概率模型进行检查。
关于 IPPC-2008 , -
关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库,涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。





_1769672084863.jpg)