LLM-based Iterative Refinement of Finite-State Machines with STPA Controller Constraints and Generation of IEC 61499 Code.

Akira King, Valeriy Vyatkin

Browse the full ETFA paper archive.