Linear temporal constraints for sketch-based synthesizers. - Fernando A. Galicia-Mendoza; David A. Rosenblueth; Armando Solar-Lezama (Formal Methods Syst. Des., 2026)