CECW (Colorful Extended Cleanup World)

CECW 数据集是从移动操纵机器人领域借来的 Cleanup World (CW) 的颜色扩展版本。 CW指的是一个世界，配备了一个可移动的物体以及四个颜色的四个房间，包括“蓝色”、“绿色”、“红色”和“黄色”，它被设计为一个模拟环境，代理可以根据它来行动根据收到的指示。 CW 遵循特定的几何线性时间逻辑 (GLTL) 以语法语法解析命令，从而产生总共 3,382 条命令，反映了 39 个 GLTL 表达式。