A Framework for Epistemic Gossip Protocols.

Maduka Attamah Hans van Ditmarsch Davide Grossi Wiebe van der Hoek

Published in: EUMAS (2014)

Keyphrases

theoretical framework
data sets
main contribution
model checking
conceptual framework
logical framework
decision making
face recognition
temporal logic
dynamic epistemic logic