Login / Signup

Assisted Counterexample-Guided Inductive Optimization for Robot Path Planning.

Mengze LiLucas C. Cordeiro
Published in: SBESC (2021)
Keyphrases
  • robot path planning
  • path planning
  • international space station
  • optimization problems
  • knowledge representation
  • route planning
  • model checking
  • cellular automata
  • change detection