Game Theory with Probabilistic Prediction for Conflict Resolution in Air Traffic Management | IEEE Conference Publication | IEEE Xplore