15 citations · 79 across the 28 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.FL2022★ 1 cited
A Generic Solution to Register-bounded Synthesis with an Application to Discrete Orders
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
We study synthesis of reactive systems interacting with environments using an infinite data domain. A popular formalism for specifying and modelling such systems is register automa…
cs.FL2022
A Regular and Complete Notion of Delay for Streaming String Transducers
Emmanuel Filiot, Ismaël Jecker, Christof Löding +1
The notion of delay between finite transducers is a core element of numerous fundamental results of transducer theory. The goal of this work is to provide a similar notion for more…