Design of learning-enabled multi-agent systems

Develop architectures, specification languages, and scalable verification and control methods for learning-enabled multi-agent systems whose size, network structure, and inter-agent data dependencies make design and analysis challenging.

Background

While single-agent systems are increasingly well-understood, multi-agent scenarios introduce complex interactions and scalability issues.

The authors explicitly note the lack of clarity on how to design learning-enabled multi-agent systems and highlight the need for new specification languages and scalable methods.