Formal verification of maneuver automata for parameterized motion primitives.

Daniel Hess Matthias Althoff Thomas Sattel

Published in: IROS (2014)

Keyphrases

formal verification
motion primitives
model checking
human motion
motion recognition
model checker
bounded model checking
automated verification
human actions
motion trajectories
control signals
symbolic model checking
unsupervised manner
humanoid robot
temporal logic
spatio temporal
multi modal
motion capture