box world
收藏arXiv2025-09-30 收录
下载链接：
https://qcomp.org/benchmarks/#boxworld
下载链接
链接失效反馈官方服务：
资源简介：
该数据集名为“盒子世界”，包含了代表城市内盒子间互动的关系和动作数据，这对于验证关系性马尔可夫决策过程至关重要。此外，数据集还包括了如bin/2、on/2等关系，以及如drive/3、load/2等动作，这些数据被用于评估pCTL-REBEL模型检验方法。该任务属于概率模型检验范畴。
This dataset, named "Box World", contains relational and action data representing interactions between boxes within a city, which is crucial for validating relational Markov decision processes. Additionally, the dataset includes relations such as bin/2, on/2, as well as actions such as drive/3, load/2. These data are utilized to evaluate the pCTL-REBEL model checking method. This task falls within the scope of probabilistic model checking.
提供机构：
IPPC-2008
