Formal Construction and Verification of Home Service Robots: A Case Study.

Moonzoo Kim Kyo Chul Kang

Published in: ATVA (2005)

Keyphrases

service robots
home environment
formal methods
human robot interaction
case study
formal analysis
model checking
formal specification
formal models
person identification
face verification
human computer interaction
formal language
control system
manipulation tasks
information retrieval
home environments