Léo Exibard
Léo Exibard
Home
Research
Teaching
Contact
Register Automata
Synthesis of Data Word Transducers (CONCUR 2019)
Register automata are a counterpart of finite automata over data words. Synthesis algorithms can (sometimes) be extended to them.
Synthesis of Data Word Transducers
Register automata are a counterpart of finite automata over data words. Synthesis algorithms can (sometimes) be extended to them.
«
Cite
×