Gypsy verification environment: status.

Michael K. Smith Richard M. Cohen

Published in: ACM SIGSOFT Softw. Eng. Notes (1985)

Keyphrases

real time
dynamic environments
information retrieval
learning algorithm
expert systems
computing environments
robotic systems
indoor environments
environmental conditions
mobile robotics