M. Li and L. Cordeiro.
"Assisted Counterexample-Guided Inductive Optimization for Robot Path Planning", in <em>Anais do XI Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, Evento Online, 2021, pp. 150-157.