arXiv ID:
2603.03784
arXiv 提交日期: 2026-03-04
基于DEVS形式化方法的规范驱动离散事件世界模型生成与评估 / Specification-Driven Generation and Evaluation of Discrete-Event World Models via the DEVS Formalism
1️⃣ 一句话总结
这篇论文提出了一种新方法,通过结合大型语言模型和DEVS形式化理论,直接从自然语言描述自动生成可靠且可验证的离散事件世界模型,用于模拟排队、任务规划等多类环境,旨在兼顾传统仿真的严谨性与神经模型的灵活性。