TY - RPRT TI - Structure- and Event-Driven Frameworks for State Machine Modeling with Large Language Models AU - Samer Abdulkarim AU - Evan Boyd AU - Karl Bridi AU - Alec Tufenkjian AU - Boqi Chen AU - Gunter Mussbacher PY - 2026 UR - https://arxiv.org/abs/2604.00275 ID - 2604.00275 ER -