ACC

该数据集用于训练一种神经网络模型，该模型专门用于控制系统，尤其在安全验证方面的应用。在无限时间范围内，该数据集有助于验证系统的安全性，并且能够对不安全输入空间区域进行特征刻画。这项任务旨在对神经网络控制系统进行安全验证。

This dataset is intended for training a neural network model dedicated to control systems, with a specific focus on safety verification applications. Over an infinite time horizon, this dataset enables safety verification of control systems and supports the characterization of unsafe input space regions. This task aims to perform safety verification for neural network-based control systems.