Models and formal verification for Electric Vehicle and Urban Delivery Zone

This dataset contains formal models and verification data related to the symbolic modelling and verification of a dynamic Electric Vehicle and urban delivery zone. It includes nuXmv specifications for the Context Transiton System (CTS) and Agent Transition System (ATS) with Computation Tree Logic (CTL) properties, figures of verification results, and figures of CTS and ATS. The dataset is associated with a research manuscript currently under submission.

本数据集包含与动态电动汽车及城市配送区域的符号化建模与验证相关的形式化模型与验证数据。其涵盖针对上下文转换系统（Context Transition System, CTS）与智能体转换系统（Agent Transition System, ATS）的、带有计算树逻辑（Computation Tree Logic, CTL）属性的nuXmv规范文件，同时包含验证结果图示以及两类转换系统的结构示意图。本数据集与当前处于投稿阶段的一篇研究论文相关联。