AQUA: An Amphibious Autonomous Robot | IEEE Journals & Magazine | IEEE Xplore