Sign in

A second generation verification environment.

Donald I. GoodRobert S. BoyerJ. 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