2 papers
eess.SP2026
Dynamic Multi-Criteria Bottleneck Severity Index (DMBSI) for Semiconductor Wafer Manufacturing: A Genetically Optimised Framework for Reentrant Production Systems
Mohammad Sharifur Rahman, Karl McCreadie, Saugat Bhattacharyya +5
Wafer fabrication exhibits unique characteristics, including reentrant process flows, variable bottlenecks, and highly variable process conditions. In order to identify the most se…
cs.LG2026
Conformal Signal Temporal Logic for Robust Reinforcement Learning Control: A Case Study
Hani Beirami, M M Manjurul Islam
We investigate how formal temporal logic specifications can enhance the safety and robustness of reinforcement learning (RL) control in aerospace applications. Using the open sourc…