Formation tracking of multiple amphibious robots with unknown nonlinear dynamics. (14th September 2020)