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