Towards a formal methodology for developing multi-agent applications using temporal Z.
Amira RegayegAhmed Hadj KacemMohamed JmaielPublished in: AICCSA (2005)
Keyphrases
- multi agent
- formal model
- temporal constraints
- temporal data
- reinforcement learning
- cooperative
- multi agent systems
- temporal information
- temporal relations
- spatio temporal
- intelligent agents
- spatial and temporal
- temporal consistency
- temporal reasoning
- agent based simulations
- temporal patterns
- temporal databases
- multiple agents
- temporal characteristics
- data sets
- temporal dimension
- agent oriented
- american football
- single agent
- formal methods
- design methodology
- development process
- software engineering
- artificial intelligence
- genetic algorithm