Formal Methods for Modeling and Simulation of Emergent Behavior in Complex Adaptive Systems.
Daniel FoguelmanPublished in: SIGSIM-PADS (2022)
Keyphrases
- formal methods
- complex adaptive systems
- emergent behavior
- complex systems
- multi agent systems
- agent based models
- formal specification language
- knowledge management
- knowledge based systems
- formal specification
- evolutionary computation
- modeling language
- model checking
- mathematical models
- complexity theory
- simulation model
- databases
- multiagent systems
- software engineering
- data model
- knowledge base
- e learning