Li, Mengze, E 		Cordeiro, Lucas.
" Assisted Counterexample-Guided Inductive Optimization for Robot Path Planning" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (22 novembro 2021)