blocks world

该数据集对“方块世界”进行了简化，包含了表示方块之间互动的关系和动作，并给动作设定了成功的概率。具体来说，数据集包括了如“在/2”和“清除/1”这样的关系，以及用于评估pCTL-REBEL模型检测方法的“移动/3”等动作。任务是对概率模型进行检查。This dataset offers a simplified adaptation of the Block World domain, which includes relational and action representations that characterize the interactions between blocks, and assigns success probabilities to each specified action. Specifically, the dataset contains relations such as `on/2` and `clear/1`, as well as actions like `move/3` that are designed to evaluate the model detection method of pCTL-REBEL. The core task of this dataset is to perform verification on probabilistic models.