MILP and NLP Techniques for centralized trajectory planning of multiple unmanned air vehicles | IEEE Conference Publication | IEEE Xplore