Register-Bounded Synthesis from Constraint LTL. - Nino Dauvier; Emmanuel Filiot; Pierre-Alain Reynier (CSL, 2026)