collaborators

1 paper

cs.MA2026

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

Jonghan Lim, Mostafa Tavakkoli Anbarani, Rômulo Meira-Góes +1

Manufacturing industries are facing increasing product variability due to the growing demand for personalized products. Under these conditions, ensuring safety becomes challenging…