Abstract: In industrial control systems, the generation and verification of Programmable Logic Controller (PLC) code are crucial for ensuring operational efficiency and safety. While Large Language ...
@inproceedings{bosio2025synthesizing, title={Synthesizing interpretable control policies through large language model guided search}, author={Bosio, Carlo and Mueller, Mark W}, booktitle={2025 ...