Verifying Agents' Conformance with Multiparty Protocols.

Laura Giordano Alberto Martelli

Published in: CLIMA (2008)

Keyphrases

resource allocation
multi party
privacy preserving
secret sharing
mental states
multi agent
turn taking
human communication
model checking
description language
shared mental models
audio video
trust relationships
multiple agents
autonomous agents
mobile agents
software engineering
multi agent systems