Login / Signup
COFRE: Environment for Specifying Coordination Requirements using Formal, and Graphical Techniques.
Marisol Sánchez-Alonso
Juan Manuel Murillo
Juan Hernández
Published in:
J. Res. Pract. Inf. Technol. (2004)
Keyphrases
</>
requirements specification
real time
decision making
cooperative
multi agent systems
information sharing
requirements engineering
software requirements
neural network
genetic algorithm
mobile robot
autonomous agents
formal model
simulation environment
mathematical theory
multiple robots