Towards Verification of Multi-Agent Systems.
Pablo GruerVincent HilaireAbder KoukamPublished in: ICMAS (2000)
Keyphrases
- multi agent systems
- autonomous agents
- cooperative
- bounded model checking
- game theory
- multi agent
- agent oriented
- agent systems
- face verification
- agent architecture
- real time
- verification method
- multi agent environment
- distributed problem solving
- model checking
- intelligent agents
- reinforcement learning
- asynchronous circuits
- artificial intelligence
- normative systems
- agent platform
- formal analysis
- expert systems
- epistemic logic
- website
- high security
- database
- inter agent