Optimization of mechanical manufacturing processes via deep reinforcement learning-based scheduling models