@misc{indiciaed7c48d0cd8ab,
  title = {Formal-Verification-Guided Bayesian Optimization for Non-Intrusive Last-Mile Coverage Closure},
  author = {Chengjia Liu and Priyadarsi Mishra and David Kebo Houngninou and Michael Quinn and Aakash Tyagi and Jiang Hu},
  year = {2026},
  url = {https://arxiv.org/abs/2610.17449},
  note = {Source identifier: 2610.17449}
}