Buchumschlag

Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lim, Jonghan, Anbarani, Mostafa Tavakkoli, Meira-Góes, Rômulo, Kovalenko, Ilya
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Multiagent Systems
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Dynamic Task Adaptation for Multi-Robot Manufacturing Systems with Large Language Models
von: Lim, Jonghan, et al.
Veröffentlicht: (2025)

A Large Language Model-Enabled Control Architecture for Dynamic Resource Capability Exploration in Multi-Agent Manufacturing Systems
von: Lim, Jonghan, et al.
Veröffentlicht: (2025)

Large Language Model-Enabled Multi-Agent Manufacturing Systems
von: Lim, Jonghan, et al.
Veröffentlicht: (2024)

Robust Recovery and Control of Cyber-physical Discrete Event Systems under Actuator Attacks
von: Oliveira, Samuel, et al.
Veröffentlicht: (2025)

Stable Task Allocation in Multi-Agent Systems with Lexicographic Preferences
von: Reveliotis, Spyros, et al.
Veröffentlicht: (2025)

Distributed Task Allocation for Multi-Agent Systems: A Submodular Optimization Approach
von: Liu, Jing, et al.
Veröffentlicht: (2024)

Synergizing Logical Reasoning, Knowledge Management and Collaboration in Multi-Agent LLM System
von: Kostka, Adam, et al.
Veröffentlicht: (2025)

Multi-Agent Cooperative Transportation: Optimal and Efficient Task Allocation and Path Finding
von: Zhou, Ning, et al.
Veröffentlicht: (2026)

AGCo-MATA: Air-Ground Collaborative Multi-Agent Task Allocation in Mobile Crowdsensing
von: Shao, Tianhao, et al.
Veröffentlicht: (2025)

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
von: Liu, Siyuan, et al.
Veröffentlicht: (2023)

Self-Resource Allocation in Multi-Agent LLM Systems
von: Amayuelas, Alfonso, et al.
Veröffentlicht: (2025)

LLM-Enabled Multi-Agent Systems: Empirical Evaluation and Insights into Emerging Design Patterns & Paradigms
von: Renney, Harri, et al.
Veröffentlicht: (2026)

Can LLM Agents Really Debate? A Controlled Study of Multi-Agent Debate in Logical Reasoning
von: Wu, Haolun, et al.
Veröffentlicht: (2025)

A Group Consensus-Driven Auction Algorithm for Cooperative Task Allocation Among Heterogeneous Multi-Agents
von: Wang, Gang, et al.
Veröffentlicht: (2025)

HALO: Hierarchical Autonomous Logic-Oriented Orchestration for Multi-Agent LLM Systems
von: Hou, Zhipeng, et al.
Veröffentlicht: (2025)

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
von: Ye, Bowen, et al.
Veröffentlicht: (2024)

Evolution of Social Norms in LLM Agents using Natural Language
von: Horiguchi, Ilya, et al.
Veröffentlicht: (2024)

Governed Collaborative Memory as Artificial Selection in LLM-Based Multi-Agent Systems
von: Cuadros, Diego F., et al.
Veröffentlicht: (2026)

ReSo: A Reward-driven Self-organizing LLM-based Multi-Agent System for Reasoning Tasks
von: Zhou, Heng, et al.
Veröffentlicht: (2025)

Safe Multi-Agent Behavior Must Be Maintained, Not Merely Asserted: Constraint Drift in LLM-Based Multi-Agent Systems
von: Li, Tianxiao, et al.
Veröffentlicht: (2026)

AutoGenesisAgent: Self-Generating Multi-Agent Systems for Complex Tasks
von: Harper, Jeremy
Veröffentlicht: (2024)

Task Placement and Resource Allocation for Edge Machine Learning: A GNN-based Multi-Agent Reinforcement Learning Paradigm
von: Li, Yihong, et al.
Veröffentlicht: (2023)

Verification of Robust Multi-Agent Systems
von: Berthon, Raphaël, et al.
Veröffentlicht: (2026)

Spatiotemporal Attention-Augmented Inverse Reinforcement Learning for Multi-Agent Task Allocation
von: Yin, Huilin, et al.
Veröffentlicht: (2025)

Hamilton's Rule for Enabling Altruism in Multi-Agent Systems
von: Butler, Brooks A., et al.
Veröffentlicht: (2025)

Dynamic distributed decision-making for resilient resource reallocation in disrupted manufacturing systems
von: Bi, Mingjie, et al.
Veröffentlicht: (2025)

Multi-Agent Synchronization Tasks
von: Fernandez, Rolando, et al.
Veröffentlicht: (2024)

Hypergraph-based Coordinated Task Allocation and Socially-aware Navigation for Multi-Robot Systems
von: Wang, Weizheng, et al.
Veröffentlicht: (2024)

HIPPO-MAT: Decentralized Task Allocation Using GraphSAGE and Multi-Agent Deep Reinforcement Learning
von: Ratnabala, Lavanya, et al.
Veröffentlicht: (2025)

Regulator-Manufacturer AI Agents Modeling: Mathematical Feedback-Driven Multi-Agent LLM Framework
von: Han, Yu, et al.
Veröffentlicht: (2024)

Which Agent Causes Task Failures and When? On Automated Failure Attribution of LLM Multi-Agent Systems
von: Zhang, Shaokun, et al.
Veröffentlicht: (2025)

Symphony-Coord: Adaptive Routing for Multi-Agent LLM Systems
von: Guan, Zhaoyang, et al.
Veröffentlicht: (2026)

Pancake: Hierarchical Memory System for Multi-Agent LLM Serving
von: Hu, Zhengding, et al.
Veröffentlicht: (2026)

Multi-Agent Reinforcement Learning for Multi-Cell Spectrum and Power Allocation
von: Zhang, Yiming, et al.
Veröffentlicht: (2023)

From Task Allocation to Risk Clearing: A Unifying Interface for Mixed Human-Agent Societies
von: Vassiliades, Vassilis
Veröffentlicht: (2026)

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
von: Yang, Shuo, et al.
Veröffentlicht: (2024)

Towards Cognitive Synergy in LLM-Based Multi-Agent Systems: Integrating Theory of Mind and Critical Evaluation
von: Kostka, Adam, et al.
Veröffentlicht: (2025)

Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic
von: Kurpiewski, Damian, et al.
Veröffentlicht: (2025)

Verification of Multi-Agent Properties in Electronic Voting: A Case Study
von: Kurpiewski, Damian, et al.
Veröffentlicht: (2023)

AgenticPrecoding: LLM-Empowered Multi-Agent System for Precoding Optimization
von: Yang, Zijiu, et al.
Veröffentlicht: (2026)