Synthesis of Data Word Transducers

Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
Jan 1, 2019
PDF Poster Slides DOI
Register Automata Synthesis Data Words Transducers

Related