Checking the Conformance of Requirements in Agent Designs Using ATL.
Nitin YadavJohn ThangarajahPublished in: ECAI (2016)
Keyphrases
- multi agent systems
- fipa compliant
- agent systems
- autonomous agents
- multi agent
- intelligent agents
- agent model
- design requirements
- agent technology
- multiagent systems
- dynamic environments
- software agents
- design principles
- model checking
- agent environment
- multiple agents
- cooperative
- agent programming
- practical reasoning
- cognitive agents
- current situation
- design space
- pedagogical agents
- mobile agents
- functional requirements
- real time systems
- agent oriented
- decision theoretic
- software engineering
- electronic commerce
- user requirements
- agent platform
- agent architecture