Path planning and control of a quadrotor UAV: A symbolic approach | IEEE Conference Publication | IEEE Xplore