Hybrid Verification by Exploiting the Environment.

Limor Fix Fred B. Schneider

Published in: FTRTFT (1994)

Keyphrases

real time
complex environments
information retrieval
multimedia
hidden markov models
mobile robot
dynamic environments
data sets
neural network
database systems
control system
model checking
test bed
robotic systems
mobile robotics