LLM-Driven Requirements Formalization for Model-Driven Manufacturing Systems.

Ranjitkumar Gudder, David Hoffmann, Paula Hnecke, Arndt Lder

Browse the full ETFA paper archive.