Mathematical modelling of container transfers for a fleet of autonomous straddle carriers | IEEE Conference Publication | IEEE Xplore