XEVE, an ESTEREL Verification Environment.

Published in: CAV (1998)

Keyphrases

autonomous agents
complex environments
multi agent
circuit design
changing environment
search algorithm
mobile robot
real time
neural network
information retrieval
artificial intelligence
computer vision
information systems
current situation