Affi, Sameh; Miraoui, Imed; Khedher, Atef - In: Logistics 10 (2026) 1, pp. 1-24
In modern Industry 4.0 environments, real-time scheduling presents a complex challenge requiring both formal correctness guarantees and optimal performance. Background: Traditional approaches fail to provide an optimal integration between formal correctness guaranteeing and optimization, and...