Neural Network Verification Data
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/StanfordASL/RandUP
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了与验证已知线性动态系统神经网络控制器相关的数据。它被用于分析所提出算法相较于先前工作的性能表现。该数据集的规模为1000个样本，其任务是对神经网络进行验证。
This dataset contains data associated with the verification of neural network controllers for known linear dynamic systems. It is utilized to evaluate the performance of the proposed algorithm against previous research works. The dataset consists of 1000 samples, and its designated task is neural network validation.
