Formal Modelling for Multi-Robot Systems Under Uncertainty