Property-based Slicing for Agent Verification.
Rafael H. BordiniMichael FisherMichael J. WooldridgeWillem VisserPublished in: J. Log. Comput. (2009)
Keyphrases
- multi agent
- intelligent agents
- multi agent systems
- multiagent systems
- autonomous agents
- decision making
- multiple agents
- mobile agents
- artificial agents
- model checking
- agent model
- action selection
- agent systems
- interface agent
- real time
- cooperating agents
- agent architecture
- agent oriented
- formal verification
- rational agents
- face verification
- agent environment
- genetic algorithm