Teaching Supervised Theses Decentralised Multi-Robot Systems Towards Coordination in Real World Settings Modal Logics of Partial Observability