Sep 29, 2024 · Unbounded Model Checking for Alternating-Time Temporal Logic. Conference Paper. Full-text available. Jan 2004.

Jun 17, 2024 · Understanding the Limitations of Individual LLM Agents and the Superiority of Multi-Agent Collaboration.

We provide a simple formulation of multi-agent A*, with a parallel and distributed variant. Our algorithms exploit the structure of multi-agent problems to not ...

Efficient Verification of Multi-Agent Systems Through Parallel · Zhen YaoJing ... Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems.

Jan 25, 2021 · This work establishes a suitably novel parallel computation framework through an innovative mathematical problem formulation.

We present a predicate abstraction technique for the verifi- cation of multi-agent systems against specifications defined in the epistemic logic ATLK, ...

This thesis develops parameterised model checking techniques for the validation of multia- gent systems irrespectively of the number of the agents present. To ...

We present a novel framework for program grounding and long-horizon planning and instantiate the framework into practical multi-agent reinforcement learning ...

We study the problem of verifying role-based multi-agent systems, where the number of components cannot be determined at design time.

Sep 9, 2024 · Multi-agent systems improve efficiency through parallel processing, where several agents handle different tasks simultaneously. This setup ...