@misc{indiciaef4f0ac2c8068,
  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},
  url = {https://arxiv.org/abs/2507.11222},
  note = {Source identifier: 2507.11222}
}