The FAA's SMART system would predict air traffic conflicts two hours ahead. Palantir, Thales, and Air Space Intelligence are ...