AIKIT
Specification-Driven Generation and Evaluation of Discrete-Event World Models via the DEVS Formalism | AIKIT