Design, Contact Modeling, and Collision-Inclusive Planning of a Dual-Stiffness Aerial RoboT (DART) | IEEE Conference Publication | IEEE Xplore