Provably correct reactive control from natural language.
Constantine LignosVasumathi RamanCameron FinucaneMitchell P. MarcusHadas Kress-GazitPublished in: Auton. Robots (2015)
Keyphrases
- provably correct
- natural language
- control system
- formal methods
- machine learning
- knowledge representation
- language processing
- control method
- control strategy
- control theory
- adaptive control
- situation calculus
- optimal control
- real time
- information extraction
- neural network
- business process
- question answering
- natural language interface