this begs the question which control decisions are safe for aircraft collision avoidance. How can one predict right away whether given control decisions for the aircraft and intruders are guaranteed to be safe or whether they could possibly lead to a collision? How can a computer control program be