13 citations · 38 across the 20 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.FL2019★ 8 cited
Synthesis of Data Word Transducers
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
In reactive synthesis, the goal is to automatically generate an implementation from a specification of the reactive and non-terminating input/output behaviours of a system. Specifi…
cs.LO2019
Sequentiality of String-to-Context Transducers
Pierre-Alain Reynier, Didier Villevalois
Transducers extend finite state automata with outputs, and describe transformations from strings to strings. Sequential transducers, which have a deterministic behaviour regarding…