Logic specifications for multiple robots based on a current programming language | IEEE Conference Publication | IEEE Xplore