Uncertainty-aware Trajectories Dataset

该数据集包含了由基于模型的强化学习算法学习到的推车机器人行为所产生的区间轨迹。数据集不仅包括可分离的数据集，也包括不可分离的数据集，且已使用多种算法对其性能进行了评估。该数据集共包含10个数据集，每个数据集中最多有3个区间轨迹。任务的目的是从这些区间轨迹中推断信号时间逻辑（STL）公式。

This dataset suite contains interval trajectories generated from the cart-pole robot behaviors learned via model-based reinforcement learning algorithms. It includes both separable and non-separable datasets, and its performance has been evaluated using multiple algorithms. The suite consists of 10 individual datasets, each containing up to 3 interval trajectories. The core task of this dataset is to infer Signal Temporal Logic (STL) formulas from these interval trajectories.