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