Generator-Independent Runtime Assurance under Partial Observation
arXiv:2609.06036v1 Announce Type: new Abstract: Proposal-based controllers---learned policies, language-model planners, and other black-box generators---are increasingly deployed behind runtime verifi