TY  - RPRT
TI  - A Parallel Tempering Approach for Efficient Exploration of the Verification Tradespace in Engineered Systems
AU  - Peng Xu
AU  - Alejandro Salado
AU  - Xinwei Deng
PY  - 2021
UR  - https://arxiv.org/abs/2109.11704
ID  - 2109.11704
ER  -