找到1个数据集

标签: EV配送验证

过滤结果

  • 电动汽车与城市配送区的模型与形式化验证数据集

    2025年11月26日 30 61 17

    数据集概述 该数据集包含电动汽车与城市配送区动态系统的符号建模及形式化验证相关数据，涵盖上下文转换系统（CTS）、智能体转换系统（ATS）的nuXmv规范、计算树逻辑（CTL）属性验证结果及相关示意图，支持相关研究复现与分析。 文件详解 该数据集按目录分类，具体文件说明如下： - 根目录文件： -...
    packageimg