publicações selecionadas artigo de conferência Verification of system-wide safety properties of ROS applications. IEEE International Conference on Intelligent Robots and Systems. 2020
