Keyphrases
- specification language
- agent behavior
- formal specification
- autonomous agents
- agent based simulation
- multi agent
- programming language
- description language
- multi agent systems
- intelligent agents
- human behavior
- game theoretic
- reinforcement learning
- agent architecture
- cognitive agents
- artificial intelligence
- dynamic environments
- databases
- simulation model
- simulation models
- model checking
- dynamic programming