Behaviour synthesis for co-operant mobile robot control | IET Conference Publication | IEEE Xplore