NRI Collaborative: Modeling and Verification of Language-based Interaction


PI: 
Mark Campbell
Co-PI: 
Hadas Kress-Gazit, Nicholas Roy (MIT)
Funding: 
NSF IIS-1427030
Active Dates: 
2014-2017
People: 
Goal: 
The goal of this program to develop models and algorithms for synthesizing and verifying a human+robot system based on natural language interaction.
Tasks: 
Natural Language: develop algorithms for probabilistic modeling, inference and learning of natural language
Human Modeling: develop algorithms for probabilistic modeling, inference and learning of human behavior
Controller Synthesis: develop algorithms for automatic synthesis and verification of robot controllers with probabilistic guarantees when interacting with humans

Publications