SMT-based synthesis of integrated task and motion plans from plan outlines.
Srinivas NedunuriSailesh PrabhuMark MollSwarat ChaudhuriLydia E. KavrakiPublished in: ICRA (2014)
Keyphrases
- plan generation
- plan recognition
- plan execution
- motion estimation
- automated planning
- planning systems
- case based planning
- planning domains
- planning process
- plan repair
- motion model
- plan library
- optical flow
- partial order planning
- motion analysis
- image sequences
- mechanical devices
- camera motion
- space time
- optimal plans
- initial state
- motion synthesis
- human motion
- motion field
- heuristic search
- dynamic environments
- temporal planner
- reactive planning
- partial plans
- partial order planner
- motion tracking
- motion planning
- orders of magnitude
- statistical machine translation
- classical planning
- partial solutions
- ai planning
- plan quality
- decision theoretic
- motion patterns
- motion detection
- machine translation
- action recognition