GDT4MAS: a formal model and language to specify and verify agent-based complex systems.
Bruno MermetGaële SimonPublished in: Stud. Inform. Univ. (2012)
Keyphrases
- complex systems
- formal model
- multi agent systems
- predicate calculus
- dynamic systems
- agent based modeling
- complex adaptive systems
- agent oriented
- agent communication
- formal models
- computational systems
- biological systems
- agent based models
- discrete event systems
- security patterns
- steady state simulation
- multi agent
- manufacturing systems
- emergent behavior
- industrial systems
- physical systems
- mathematical models
- cooperative
- agent technology
- autonomous agents
- fuzzy cognitive maps
- security properties
- software agents
- technical systems
- intelligent agents
- scale free networks
- reinforcement learning