Trans-Domain Amphibious Unmanned Platform Based on Coaxial Counter-Propellers: Design and Experimental Validation | IEEE Journals & Magazine | IEEE Xplore