Synthesizing Transducers from Complex Specifications. - Grover, Anvay; Ehlers, Ruediger; D'Antoni, Loris (2022)