首页 /研究 /Provably correct reactive control from natural language
OTHER

Provably correct reactive control from natural language

Constantine Lignos, Vasumathi Raman, Cameron Finucane, Mitchell P. Marcus, Hadas Kress‐Gazit

发表年份
2014
引用次数
52

关键词

Computer scienceNatural languageSpecification languageNatural language user interfaceRobotArtificial intelligenceProgramming languageNatural language understandingVocabularyNatural language programming

相关论文

查看 OTHER 分类全部论文