LLMs for Executable Multi-Agent System Specification Generation
The proposed `genRTEC', a method that leverages pre-trained Large Language Models (LLMs) to generate executable MAS specifications, in the language of the `Run-Time Event Calculus'(RTEC), from natural language descriptions, is presented.
Andreas Kouvaras, Periklis Mantenoglou, Alexander Artikis
· 0 citations