Resumen: El análisis de accesibilidad directa es el enfoque predominante para verificar las propiedades de alcanzar y evitar en sistemas de retroalimentación neuronal (sistemas dinámicos controlados por redes neuronales). Este dominio se debe a la escalabilidad limitada de los métodos de accesibilidad hacia atrás existentes. En este trabajo, introducimos nuevos algoritmos que calculan tanto aproximaciones excesivas como insuficientes de conjuntos alcanzables hacia atrás para dichos sistemas. Integramos aún más estos algoritmos hacia atrás con técnicas de análisis hacia adelante establecidas para generar un marco de verificación unificado para los sistemas de retroalimentación neuronal.
Publicado originalmente en export.arxiv.org el 13 de enero de 2026.
Ver fuente original
