[2603.03784] Specification-Driven Generation and Evaluation of Discrete-Event World Models via the DEVS Formalism

Computer Science > Artificial Intelligence arXiv:2603.03784 (cs) [Submitted on 4 Mar 2026] Title:Specification-Driven Generation and Evaluation of Discrete-Event World Models via the DEVS Formalism Authors:Zheyu Chen, Zhuohuan Li, Chuanhao Li View a PDF of the paper titled Specification-Driven Generation and Evaluation of Discrete-Event World Models via the DEVS Formalism, by Zheyu Chen and 2 other authors View PDF HTML (experimental) Abstract:World models are essential for planning and evaluation in agentic systems, yet existing approaches lie at two extremes: hand-engineered simulators that offer consistency and reproducibility but are costly to adapt, and implicit neural models that are flexible but difficult to constrain, verify, and debug over long horizons. We seek a principled middle ground that combines the reliability of explicit simulators with the flexibility of learned models, allowing world models to be adapted during online execution. By targeting a broad class of environments whose dynamics are governed by the ordering, timing, and causality of discrete events, such as queueing and service operations, embodied task planning, and message-mediated multi-agent coordination, we advocate explicit, executable discrete-event world models synthesized directly from natural-language specifications. Our approach adopts the DEVS formalism and introduces a staged LLM-based generation pipeline that separates structural inference of component interactions from component-le...