Assisted Counterexample-Guided Inductive Optimization for Robot Path Planning. - Mengze Li 004; Lucas C. Cordeiro (SBESC, 2021)