@misc{indiciae76882b9d3b4d,
  title = {LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems},
  author = {Mohamad Fakih and Rahul Dharmaji and Yasamin Moghaddas and Gustavo Quiros Araya and Oluwatosin Ogundare and Mohammad Abdullah Al Faruque},
  year = {2024},
  doi = {10.1145/3639477.3639743},
  url = {https://arxiv.org/abs/2401.05443},
  note = {Source identifier: 2401.05443}
}