Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents. - Zihan Liu; Ruinan Zeng; Dongxia Wang; Gengyun Peng; Jingyi Wang; Qiang Liu; Peiyu Liu 003; Wenhai Wang (CoRR, 2024)