-
自主机器人形式化模型保障案例演进补充材料
2025年12月22日 30 148 127
数据集概述 本数据集为论文《自主机器人形式化模型保障案例演进》的补充材料,包含保障案例模式的详细说明、Isabelle/SACM实现、实例化内容及相关Isabelle脚本,为理解论文核心内容提供补充支持。 文件详解 文件名称: main-suppl.pdf 文件格式: PDF (.pdf) 文件内容: 包含论文相关的补充材料,具体涵盖:...
-
决策树挖掘策略采样与学习案例研究实验复现包
2025年12月21日 30 65 14
数据集概述 本数据集为实验复现包,包含论文《Digging for Decision Trees: A Case Study in Strategy Sampling and Learning》中实验评估所用的全部数据、软件工具及脚本,可复现原文实验结果,执行已在指定虚拟机环境中测试验证。 文件详解 文件名称:...



