Formal Verification of an Autonomous Personal Robotic Assistant.
Matt WebsterClare DixonMichael FisherMaha SalemJoe SaundersKheng Lee KoayKerstin DautenhahnPublished in: AAAI Spring Symposia (2014)
Keyphrases
- formal verification
- robotic systems
- model checking
- bounded model checking
- model checker
- automated verification
- mobile robot
- test bed
- symbolic model checking
- service robots
- autonomous navigation
- program slicing
- personal information
- vision system
- cooperative
- object manipulation
- real time
- artificial intelligence
- functional verification
- manipulation tasks
- autonomous learning
- knowledge acquisition
- open source
- knowledge representation
- intelligent assistant