-
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授权信息,涉及版权归属(特拉维夫大学与软件建模实验室)及使用条款。...



