Robust Deadlock-free Scheduling for FMS with Liveness-enforcing Supervisor Combined with Beam Search Controller.

GaiYun Liu, Dimitri Lefebvre, ZhiWu Li

Browse the full SMC paper archive.