Multi-AUV Coverage with Functional Constraints and Currents | IEEE Conference Publication | IEEE Xplore