Provably correct reactive control from natural language


This paper presents an integrated system for generating, troubleshooting, and executing correct-byconstruction controllers for autonomous robots using natural language input, allowing non-expert users to command robots to perform high-level tasks. This system unites the power of formal methods with the accessibility of natural language, providing… (More)
DOI: 10.1007/s10514-014-9418-8

10 Figures and Tables



Citations per Year

Citation Velocity: 10

Averaging 10 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.
  • Presentations referencing similar topics