Lang2LTL: Translating Natural Language Commands to Temporal Robot Task Specification.
Jason Xinyu LiuZiyi YangIfrah IdreesSam LiangBenjamin SchornsteinStefanie TellexAnkit ShahPublished in: CoRR (2023)
Keyphrases
- linear temporal logic
- natural language
- temporal logic
- model checking
- mobile robot
- bounded model checking
- transition systems
- high level
- human robot interaction
- knowledge representation
- temporal information
- temporal ordering
- autonomous robots
- path planning
- natural language interface
- formal specification
- semantic analysis
- robot manipulators
- spatio temporal
- real time
- mobile robotics
- robot control
- formal languages
- machine learning
- robotic systems
- information extraction
- vision system
- temporal constraints
- robot navigation
- multi robot
- temporal reasoning
- temporal data
- temporal aspects
- natural language processing
- visual servoing
- spatial and temporal
- robot soccer
- space time
- question answering
- humanoid robot
- temporal patterns