FO and MSO Model Checking on Temporal Graphs

Michelle Döring, Jessica A. Enright, Laura Larios-Jones, George Skretas. FO and MSO Model Checking on Temporal Graphs. In George B. Mertzios, Andréa W. Richa, editors, 5th Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2026, Le Havre, France, July 1-3, 2026. Volume 373 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]

Abstract

Abstract is missing.