C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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