Sign in
A Parallel Tempering Approach for Efficient Exploration of the Verification Tradespace in Engineered Systems.
Peng Xu
Alejandro Salado
Xinwei Deng
Published in:
IEEE Trans. Syst. Man Cybern. Syst. (2022)
Keyphrases
</>
bayesian inference
restricted boltzmann machine
neural network
distributed systems