Léo Exibard
Léo Exibard
Home
Research
Teaching
Contact
Church Problem
Automatic Synthesis of Systems with Data
We partly lift synthesis to infinite domains through register automata, targeting register transducers or computable implementations.
Cite
×