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

Automated model verification of the International Space Station for path planning.

W. F. W. HaakFrans C. A. GroenE. Holweg
Published in: Robotics Auton. Syst. (1999)
Keyphrases
  • path planning
  • robot path planning
  • mathematical model
  • multi robot
  • collision avoidance
  • evolutionary algorithm
  • dynamic environments
  • video sequences
  • aerial vehicles