publicações selecionadas artigo de conferência Reachability Analysis of Dynamic Programming Based Controlled Systems: An Extended Algorithm 2014