Control Logic Synthesis for Manufacturing Systems Using Markov Decision Processes. Issue 20 (2021)