Maxence Glotin, Louise Travé-Massuyès, Elodie Chanthery. MSO Sets and MTES for Dummies. In Ingo Pill, Avraham Natan, Franz Wotawa, editors, 35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024, November 4-7, 2024, Vienna, Austria. Volume 125 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]
Abstract is missing.