NRI Collaborative: Modeling and Verification of Language-based Interaction


Error message

  • Warning: file_put_contents(temporary://filePQ8eUx): failed to open stream: "DrupalTemporaryStreamWrapper::stream_open" call failed in file_unmanaged_save_data() (line 1941 of /acadtech/www/courses2/campbellmae_vh/includes/file.inc).
  • The file could not be created.
  • Warning: file_put_contents(temporary://fileEcXPN1): failed to open stream: "DrupalTemporaryStreamWrapper::stream_open" call failed in file_unmanaged_save_data() (line 1941 of /acadtech/www/courses2/campbellmae_vh/includes/file.inc).
  • The file could not be created.
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