Symbolic dynamic modelling and analysis of object/robot-team systems with experiments | IEEE Conference Publication | IEEE Xplore