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