Optimal verification strategy for general development plans using a belief-based approach. - Aditya U. Kulkarni; Ashley Girod; Peng Xu; Alejandro Salado (Syst. Eng., 2024)