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