arxivcs.AIcs.MAeess.SY2026-07-07
Verification of Adaptive Agentic Controllers through Finite Rule Revision
Industrial agentic AI systems increasingly exhibit a gap between prototype capability and production deployment. In particular, adaptive agents may generate plausible outputs while remaining difficult to verify under non-determinism, confidentiality constraints, limited context,…