An IMU/Sonar-based Extended Kalman Filter for Mini-UAV Localization in Indoor Environment | IEEE Conference Publication | IEEE Xplore