"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours.
Clare DixonMatthew P. WebsterJoe SaundersMichael FisherKerstin DautenhahnPublished in: TAROS (2014)
Keyphrases
- spatio temporal
- model checking
- spatial and temporal
- temporal reasoning
- temporal information
- temporal constraints
- formal verification
- robotic systems
- artificial intelligence
- test bed
- temporal data
- temporal databases
- face verification
- temporal dimension
- temporal analysis
- human behaviour
- database
- manipulation tasks
- mobile robot
- databases
- data sets
- real time