AINeutralarXiv – CS AI · Mar 54/10
🧠
Specification-Driven Generation and Evaluation of Discrete-Event World Models via the DEVS Formalism
Researchers propose a new approach to world models that combines explicit simulators with learned models using the DEVS formalism. The method uses LLMs to generate discrete-event world models from natural language specifications, targeting environments with event-driven dynamics like queueing systems and multi-agent coordination.