A Reinforcement Learning Approach to Design Verification Strategies of Engineered Systems. - Peng Xu 027; Alejandro Salado; Guangrui Xie (SMC, 2020)

An evaluation of the optimality of frequent verification for vertically integrated systems. - Aditya U. Kulkarni; Alejandro Salado; Peng Xu 027; Christian Wernz (Syst. Eng., 2021)

Modeling correction activities in the context of verification strategies. - Peng Xu 027; Alejandro Salado (Syst. Eng., 2022)

Expert Opinion Fusion Framework Using Subjective Logic for Fault Diagnosis. - Peng Xu 027; Jin-Hee Cho; Alejandro Salado (IEEE Trans. Cybern., 2022)

A Parallel Tempering Approach for Efficient Exploration of the Verification Tradespace in Engineered Systems. - Peng Xu 027; Alejandro Salado; Xinwei Deng (IEEE Trans. Syst. Man Cybern. Syst., 2022)

A UCB-Based Tree Search Approach to Joint Verification-Correction Strategy for Large-Scale Systems. - Peng Xu 027; Xinwei Deng; Alejandro Salado (IEEE Trans. Syst. Man Cybern. Syst., 2023)

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