Probabilistic collision detection for aircrafts in a dynamic environment