Verification of deadlock free property of high level robot control.

Hiromi Hiraishi

Published in: Asian Test Symposium (2000)

Keyphrases

robot control
deadlock free
high level
mobile robot
concurrency control
unstructured environments
autonomous robots
subsumption architecture
routing algorithm
transaction processing
reinforcement learning
distributed databases
neural network
data mining
fine grained