A second generation verification environment.

Donald I. Good Robert S. Boyer J. Strother Moore

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

Keyphrases

dynamic environments
virtual world
complex environments
real time
machine learning
mobile robot
neural network
expert systems
relational databases
autonomous agents
path planning
test bed