Keyphrases
- multi agent
- cooperative
- multi agent systems
- modal logic
- model checking
- inference rules
- desirable properties
- intelligent agents
- temporal logic
- multiagent systems
- kripke models
- oriented programming
- coalition formation
- software agents
- reinforcement learning
- agent oriented
- multi agent environments
- multiscale
- heterogeneous agents
- traffic signal control
- autonomous agents
- bayesian networks
- case study
- single agent
- agent behavior
- cooperative agents
- team formation
- information retrieval
- real time