Spandan Das, Sujata Ghosh. Receiving Messages in Their Correct Order: Analyzing Broadcast Protocols in Dynamic Epistemic Logics. In Ana Paula Rocha 0001, Luc Steels, H. Jaap van den Herik, editors, Proceedings of the 13th International Conference on Agents and Artificial Intelligence, ICAART 2021, Volume 2, Online Streaming, February 4-6, 2021. pages 851-858, SCITEPRESS, 2021. [doi]
Abstract is missing.