Jonghan Lim, Mostafa Tavakkoli Anbarani, Rômulo Meira-Góes, Ilya Kovalenko. Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing Systems. In 18th International Workshop on Discrete Event Systems, WODES 2026, Eindhoven, Netherlands, June 8-10, 2026. pages 139-144, IEEE, 2026. [doi]
Abstract is missing.