Papers Accepted to WODES 2026

Congratulations, Jonghan and Mostafa! The papers “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” have been accepted to the 18th Workshop on Discrete Event Systems (WODES).