Two-stage agent program verification.
Louise A. DennisMichael FisherMatt WebsterPublished in: J. Log. Comput. (2018)
Keyphrases
- multi agent
- multi agent systems
- autonomous agents
- agent model
- decision making
- intelligent agents
- multiagent systems
- software agents
- agent technology
- agent oriented
- agent systems
- interface agent
- real world
- artificial agents
- cognitive agents
- multiple agents
- decision theoretic
- agent architecture
- decision trees
- goal directed
- electronic commerce
- case study
- agent environment