TY  - RPRT
TI  - LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
AU  - Mohamad Fakih
AU  - Rahul Dharmaji
AU  - Yasamin Moghaddas
AU  - Gustavo Quiros Araya
AU  - Oluwatosin Ogundare
AU  - Mohammad Abdullah Al Faruque
PY  - 2024
DO  - 10.1145/3639477.3639743
UR  - https://arxiv.org/abs/2401.05443
ID  - 2401.05443
ER  -