CTL++

CTL是一个新的基于CTL的诊断数据集。CTL在任务定义上基本上和原来的CTL一样简单，但是增加了CTL中不存在的组合泛化的核心挑战。