Assisted Counterexample-Guided Inductive Optimization for Robot Path Planning | IEEE Conference Publication | IEEE Xplore