The UAV Problem is PSPACE−Complete - Ho, H; Ouaknine, J (2014)