Three-robot minimum-time optimal line formation | IEEE Conference Publication | IEEE Xplore