@misc{indiciae6bfc0d743f67,
  title = {Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents},
  author = {Zihan Liu and Ruinan Zeng and Dongxia Wang and Gengyun Peng and Jingyi Wang and Qiang Liu and Peiyu Liu and Wenhai Wang},
  year = {2024},
  url = {https://arxiv.org/abs/2410.14209},
  note = {Source identifier: 2410.14209}
}