Synthetic Benchmark Suite
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/rajarshi008/Scarlet
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是一个由八个LTL公式生成的256个样本组成的基准测试套件，用于评估SCARLET算法与其他工具相比的性能。这些样本涵盖了从50到2000条迹线，迹线长度从8到15不等。该数据集的规模为256个样本，任务是从样本中学习LTL公式。
This dataset is a benchmark suite composed of 256 samples generated from eight Linear Temporal Logic (LTL) formulas, which is designed to evaluate the performance of the SCARLET algorithm against other existing tools. Each sample corresponds to a trace set with a size ranging from 50 to 2000, and the length of each individual trace varies between 8 and 15. The core task of this dataset is to learn LTL formulas from the provided samples.
提供机构：
SCARLET
