Robot-Initiated Specification Repair through Grounded Language Interaction.
Adrian BoteanuJacob ArkinSiddharth PatkiThomas M. HowardHadas Kress-GazitPublished in: CoRR (2017)
Keyphrases
- human robot interaction
- specification language
- human robot
- mobile robot
- robotic agents
- operational semantics
- formal language
- interaction model
- programming language
- action language
- formal languages
- natural language
- humanoid robot
- language learning
- high level
- autonomous robots
- robot control
- definition language
- robotic systems
- formal specification
- agent communication
- object manipulation
- natural interaction
- sensory motor
- manipulation tasks
- human communication
- path planning
- mobile robotics
- obstacle avoidance
- physical world
- robot navigation
- goal directed
- modelling language
- user interaction
- vision system
- linear temporal logic