Login / Signup

Enhanced constructs for perceptual stimuli and behavioral combination in reactive systems.

Thomas R. Collins
Published in: Mobile Robots / Telemanipulator and Telepresence Technologies (2000)
Keyphrases
  • reactive systems
  • state machines
  • model checking
  • petri net
  • information flow
  • formal methods
  • case study
  • temporal logic
  • knowledge based systems
  • intelligent agents
  • information security
  • human visual system