Verifying epistemic protocols under common knowledge.

Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck

Browse the full TARK paper archive.