Language-measure-based supervisory control of a mobile robot | IEEE Conference Publication | IEEE Xplore