Protected Cores Are Not Enough: Certifying AI-Proposed Revisions of Temporal Specifications.

arXiv:2609.33461v1 Announce Type: cross Abstract: Runtime monitoring traditionally evaluates a specification that is fixed before execution or externally modified when requirements change. In learning-enabled and data-intensive systems, however, the temporal r