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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jonghan Lim' in GoogleThis author has not been identified. Look up 'Mostafa Tavakkoli Anbarani' in GoogleThis author has not been identified. Look up 'Rômulo Meira-Góes' in GoogleThis author has not been identified. Look up 'Ilya Kovalenko' in Google

runs on WebDSL