Automated Verification of Multi-Agent Programs.
Rafael H. BordiniLouise A. DennisBerndt FarwerMichael FisherPublished in: ASE (2008)
Keyphrases
- automated verification
- multi agent
- model checking
- automated reasoning
- formal verification
- cooperative
- intelligent agents
- temporal logic
- multi agent systems
- software agents
- control program
- heterogeneous agents
- agent programming
- reinforcement learning
- probabilistic model
- multiagent systems
- data mining
- answer sets
- knowledge base