LI, Mengze; CORDEIRO, Lucas.
Assisted Counterexample-Guided Inductive Optimization for Robot Path Planning. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SISTEMAS COMPUTACIONAIS (SBESC), 11. , 2021, Evento Online.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2021
.
p. 150-157.
ISSN 2237-5430.