An overview on conflict detection and resolution methods in air traffic management using multi agent systems | IEEE Conference Publication | IEEE Xplore