Modelling and Analysing Systems of Agents by Agent-aware Transition Systems.
Marek A. BednarczykLuca BernardinelloWieslaw PawlowskiLucia PomelloPublished in: NATO ASI Mining Massive Data Sets for Security (2007)
Keyphrases
- multi agent systems
- multi agent
- agent systems
- intelligent agents
- autonomous agents
- multiple agents
- multiagent systems
- software agents
- decision making
- agent model
- mobile agents
- transition systems
- action selection
- decision theoretic
- finite state
- agent technology
- dynamic environments
- distributed systems
- temporal logic
- single agent
- concurrent systems
- model checking
- reasoning process
- real time systems
- practical reasoning