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