TY  - RPRT
TI  - Formal-Verification-Guided Bayesian Optimization for Non-Intrusive Last-Mile Coverage Closure
AU  - Chengjia Liu
AU  - Priyadarsi Mishra
AU  - David Kebo Houngninou
AU  - Michael Quinn
AU  - Aakash Tyagi
AU  - Jiang Hu
PY  - 2026
UR  - https://arxiv.org/abs/2610.17449
ID  - 2610.17449
ER  -