Li, M., & 		Cordeiro, L.
(2021).
Assisted Counterexample-Guided Inductive Optimization for Robot Path Planning.
In <em>Anais do XI Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 150-157). Porto Alegre: SBC.