CSP2Turtle: Verified Turtle Robot Plans.
Dara MacConvilleMarie FarrellMatt LuckcuckRosemary MonahanPublished in: Robotics (2023)
Keyphrases
- constraint satisfaction problems
- mobile robot
- human robot interaction
- plan recognition
- humanoid robot
- constraint propagation
- autonomous robots
- robot navigation
- robot control
- world model
- constraint satisfaction
- planning problems
- orders of magnitude
- goal directed
- visual servoing
- decomposition methods
- constraint solving
- planning graph
- macro actions