Existing Air Traffic Control (ATC) procedures rely completely on human supervision and control. However, with the burgeoning traffic demands, it has become necessary to find options for automated (and possibly decentralized) traffic control. In particular, the problem of aircraft collision avoidance is of great interest. However, current approaches, [1] [2], are either computationally intensive...