TY  - RPRT
TI  - Protected Cores Are Not Enough: Certifying AI-Proposed Revisions of Temporal Specifications
AU  - Ruggero Lanotte
PY  - 2026
UR  - https://arxiv.org/abs/2609.33461
ID  - 2609.33461
ER  -