Li, M., & 		Cordeiro, L.
2021 nov 22.  Assisted Counterexample-Guided Inductive Optimization for Robot Path Planning. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :