Picture for Malvin Gattinger

Malvin Gattinger

ILLC, University of Amsterdam

Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic

Add code
Jul 11, 2023
Viaarxiv icon

Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts

Add code
Nov 26, 2020
Figure 1 for Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts
Figure 2 for Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts
Figure 3 for Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts
Figure 4 for Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts
Viaarxiv icon