Dynamic Evaluation Strategies for Multiple Aircrafts Formation Using Collision and Matching Probabilities | IEEE Journals & Magazine | IEEE Xplore