-
DSSynth控制器合成实验连续植物数据2017
2026年2月1日 30 144 67
数据集概述 本数据集为2017年Hybrid Systems: Computation and Control（HSCC）会议发表的论文“Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous...
-
ICSE_24论文Artifact_非良分离GR_1_规范的类型控制器与快速启发式
2025年12月5日 30 130 36
数据集概述 该数据集是ICSE'24会议论文的附属Artifact，用于复现论文中关于非良分离GR(1)规范的类型控制器与快速启发式方法的实验结果，支持论文核心实验的验证与重复。 文件详解 LICENSE.txt：TXT格式，包含BSD 3-Clause License授权信息，涉及版权归属（特拉维夫大学与软件建模实验室）及使用条款。...
