A multi-AUV system for cooperative tracking and following of leopard sharks | IEEE Conference Publication | IEEE Xplore