Data-driven forward reachability analysis | Publicación