On the Verification of Coordination.
Paul DecheringIzak van LangeveldePublished in: COORDINATION (2000)
Keyphrases
- multi agent systems
- model checking
- multi agent
- multiagent systems
- cooperative
- information sharing
- distributed agents
- multi agent reinforcement learning
- databases
- concurrent systems
- signature verification
- search algorithm
- machine learning
- decision making
- information systems
- information exchange
- social networks
- formal verification
- asynchronous circuits
- search engine
- sensory motor
- data sets
- cooperating agents
- multiagent coordination