research
∙
07/11/2023
Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic
Binary decision diagrams (BDDs) are widely used to mitigate the state-ex...
share
research
∙
11/26/2020
Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts
A gossip protocol is a procedure for sharing secrets in a network. The b...
research
∙
12/23/2019
Towards Symbolic Factual Change in DEL
We extend symbolic model checking for Dynamic Epistemic Logic (DEL) with...
research
∙
07/29/2019
Strengthening Gossip Protocols using Protocol-Dependent Knowledge
Distributed dynamic gossip is a generalization of the classic telephone ...
research
∙
07/22/2019