Aggressive quadrotor flight through cluttered environments using mixed integer programming | IEEE Conference Publication | IEEE Xplore