A Tight Meta-theorem for LOCAL Certification of MSO${}_2$ Properties within Bounded Treewidth Graphs

Linda Cook, Eun Jung Kim, Tomáš Masařík

Distributed networks are prone to errors so verifying their output is critical. Hence, we develop LOCAL certification protocols for graph properties in which nodes are given certif…