TY  - RPRT
TI  - LLM-based Framework for Generating and Verifying Parallel DEVS Statecharts
AU  - Vamsi Krishna Vasa
AU  - Hessam S. Sarjoughian
AU  - Edward J. Yellig
PY  - 2026
UR  - https://arxiv.org/abs/2608.14956
ID  - 2608.14956
ER  -