AINeutralarXiv โ CS AI ยท 5h ago
๐ง
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.