Robustness of Constraint Automata for Description Logics with Concrete Domains. - Stéphane Demri; Tianwen Gu (CSL, 2026)