Uncertainty Quantification on State-Based Conflict Detection and Resolution Algorithms. - Muhammad Fazlur Rahman; Joost Ellerbroek; Jacco M. Hoekstra (CoRR, 2025)