A Variable-Pitch Propeller System for Dual-Medium UAVs: Design, Modeling, and Validation | IEEE Conference Publication | IEEE Xplore