Verifying the Conformance of Agents with Multiparty Protocols.
Laura GiordanoAlberto MartelliPublished in: ECAI (2008)
Keyphrases
- multi party
- privacy preserving
- secret sharing
- human communication
- personality traits
- multi agent systems
- autonomous agents
- multi agent
- cooperative
- shared mental models
- turn taking
- negotiation mechanism
- audio video
- mental states
- multiagent systems
- description language
- software agents
- model checking
- expert systems
- web services