Conformal Recovery-Deadline Certificates for Runtime Assurance of Adapting Controllers
Researchers introduce conformal recovery-deadline certificates, a new runtime assurance mechanism that allows adaptive controllers to safely recover from faults without premature shutdown. The method uses statistical bounds to distinguish between controllers capable of self-correction and those that will fail, applying a verified backstop only when necessary.