Product Updates for Partial Epistemic Models and Logical Obstruction to Task Solvability
(Epistemic and Topological Reasoning in Distributed Systems, Dagstuhl Seminar 23272 2023)
On the Power of Epistemic Logic for Defining Obstructions to Distributed Agreement Tasks
(CELT2022: Connections between Epistemic Logic and Topology 2022)
Proving Unsolvability of Set Agreement Task with Epistemic mu-Calculus
(GETCO 2022 - 11th International Conference on Geometric and Topological Methods in Computer Science 2022)
