IPPC-2008 发布 box world 数据集, 应用在 概率模型检验、关系性马尔可夫决策过程 领域

IPPC-2008 本次发布的数据集 box world, 该数据集名为“盒子世界”，包含了代表城市内盒子间互动的关系和动作数据，这对于验证关系性马尔可夫决策过程至关重要。此外，数据集还包括了如bin/2、on/2等关系，以及如drive/3、load/2等动作，这些数据被用于评估pCTL-REBEL模型检验方法。该任务属于概率模型检验范畴。

查看box world

关于 IPPC-2008 , -

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