Cross-Model Evaluation of LLMs for Generating Formal Specification of Distributed Industrial Control Systems.

George E. Raptis, Muhammad Taimoor Khan, Christos Koulamas, Dimitrios Serpanos

Browse the full KES paper archive.