notesum.ai

Published at November 22

Distributed Model Checking in Graphs Classes of Bounded Expansion

cs.DS

Released Date: November 22, 2024

Authors: Fedor V. Fomin¹, Pierre Fraigniaud², Petr A. Golovach¹, Pedro Montealegre³, Ivan Rapaport⁴, Ioan Todinca⁵

Aff.: ¹University of Bergen, Bergen, Norway; ²IRIF, Université Paris Cité and CNRS, Paris, France; ³Universidad Adolfo Ibañez, Santiago, Chile; ⁴Universidad de Chile, Santiago, Chile; ⁵LIFO, Université d'Orléans and INSA Centre-Val de Loire, Orléans, France

Arxiv: http://arxiv.org/abs/2411.14825v1