TY  - RPRT
TI  - Designing FSMs Specifications from Requirements with GPT 4.0
AU  - Omer Nguena Timo
AU  - Paul-Alexis Rodriguez
AU  - Florent Avellaneda
PY  - 2026
UR  - https://arxiv.org/abs/2603.29140
ID  - 2603.29140
ER  -