box world

该数据集名为“盒子世界”，包含了代表城市内盒子间互动的关系和动作数据，这对于验证关系性马尔可夫决策过程至关重要。此外，数据集还包括了如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.