Optimisation model and exact algorithm for autonomous straddle carrier scheduling at automated container terminals | IEEE Conference Publication | IEEE Xplore