Decoupled conflict-resolution procedures for decentralized air traffic control

This article addresses the decoupling of conflict resolution procedures (CRPs) for decentralized, en-route, air traffic control. The main contribution of this article is to identify necessary and sufficient conditions to decouple CRPs. Additionally, the article demonstrates the existence of such decentralized en-route CRPs, which guarantee global conflict resolution.