A real-time AGV-scheduling system that combines human decision-making with integer-programming algorithms | IEEE Conference Publication | IEEE Xplore