blocks world

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