Análisis formal de la dinámica de sistemas no lineales mediante redes neuronales | Publicación