LLMs for Executable Multi-Agent System Specification Generation.

arXiv:2609.34619v1 Announce Type: new Abstract: 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 perform an action. The specification