TY - RPRT TI - Verification of Adaptive Agentic Controllers through Finite Rule Revision AU - Roberto Garrone PY - 2026 UR - https://arxiv.org/abs/2607.09770 ID - 2607.09770 ER -