Login / Signup

A formal model of computation for sensory-based robotics.

Damian M. LyonsMichael A. Arbib
Published in: IEEE Trans. Robotics Autom. (1989)
Keyphrases
  • formal model
  • artificial intelligence
  • computer vision
  • formal models
  • security properties
  • security patterns
  • case based reasoning
  • data sets
  • model checking
  • human robot interaction
  • robot control
  • motor control