LLMs for Executable Multi-Agent System Specification Generation

Andreas Kouvaras, Periklis Mantenoglou, Alexander Artikis

MAS specifications express the effects of the actions of the agents and their environment, as well as other temporal phenomena, such as the intervals during which an agent may perf…