Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100.

Moonzoo Kim Kyo Chul Kang Hyoungki Lee

Published in: ICRA (2005)

Keyphrases

service robots
formal verification
home environment
human robot interaction
model checking
automated verification
bounded model checking
model checker
manipulation tasks
symbolic model checking
case study
program slicing
smart home
context aware
gesture recognition
ambient assisted living