Church Problem

Automatic Synthesis of Systems with Data

We partly lift synthesis to infinite domains through register automata, targeting register transducers or computable implementations.