Abstract: The probability of missed detection (PMD) is a crucial metric for characterizing the integrity performance of receiver autonomous integrity monitoring (RAIM). The time consumption of the ...