@article{anagenticflowforfinitestatemachineextrac,
  title = {An Agentic Flow for Finite State Machine Extraction using Prompt Chaining},
  author = {Fares Wael and Youssef Maklad and Ali Hamdi and Wael Elsersy},
  year = {2025},
  eprint = {2507.11222},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2507.11222},
}