Modelling Resource Contention in Multi-Robot Task Allocation Problems with Uncertain Timing | IEEE Conference Publication | IEEE Xplore