Modeling Autonomous Underwater Vehicle (AUV) operations in mine hunting | IEEE Conference Publication | IEEE Xplore