Control of a team of car-like robots using abstractions | IEEE Conference Publication | IEEE Xplore