Application of an autonomous multi-agent system using Proximal Policy Optimisation for tactical deconfliction within the urban airspace | IEEE Conference Publication | IEEE Xplore