publicações selecionadas artigo de conferência Reachability Analysis of Dynamic Programming Based Controlled Systems: An Extended Algorithm 2014 livro Synthesis of Safe Controllers for Nonlinear Systems Using Dynamic Programming Techniques 2017