A graphical language for LTL motion and mission planning.
Shashank SrinivasRamtin KermaniKangjin KimYoshihiro KobayashiGeorgios FainekosPublished in: ROBIO (2013)
Keyphrases
- mission planning
- programming language
- image sequences
- optical flow
- space time
- motion estimation
- language learning
- query language for xml
- linear temporal logic
- camera motion
- human motion
- motion analysis
- natural language
- computer vision
- model checking
- moving objects
- motion field
- motion segmentation
- motion planning
- specification language
- motion model
- motion capture
- decision making
- image understanding
- temporal logic