Laurent Feuilloley, Nicolas Bousquet, Théo Pierron. What Can Be Certified Compactly? Compact local certification of MSO properties in tree-like graphs. In Alessia Milani, Philipp Woelfel, editors, PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25 - 29, 2022. pages 131-140, ACM, 2022. [doi]
Abstract is missing.