• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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