Leader-formation navigation using dynamic formation pattern | IEEE Conference Publication | IEEE Xplore