@misc{indiciaea538c2cd5582,
  title = {Control Closure Certificates},
  author = {Vishnu Murali and Mohammed Adib Oumer and Majid Zamani},
  year = {2025},
  url = {https://arxiv.org/abs/2508.03947},
  note = {Source identifier: 2508.03947}
}