C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automated model verification of the International Space Station for path planning.
W. F. W. Haak
Frans C. A. Groen
E. 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