Papers Accepted to WODES 2026 in Eindhoven, Netherlands

Two papers have been accepted to the 18th Workshop on Discrete Event Systems (WODES) in Eindhoven, Netherlands.

The papers are titled “Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing Systems” and “Attack-Resilient Control of Finite-State Cyber-Physical Systems via Inspection States.” Congrats Jonghan and Mostafa!