@misc{indiciae964f524cf03e,
  title = {Protected Cores Are Not Enough: Certifying AI-Proposed Revisions of Temporal Specifications},
  author = {Ruggero Lanotte},
  year = {2026},
  url = {https://arxiv.org/abs/2609.33461},
  note = {Source identifier: 2609.33461}
}