Probabilistic modeling and reasoning of conflict detection effectiveness by tracking systems towards safe urban air mobility operations. - Wei Dai; Zhi Hao Quek; Kin Huat Low (Reliab. Eng. Syst. Saf., 2024)