7 citations · 17 across the 16 of their papers we have counts for
Showing 2017 · cs.FLShow all
3 papers · 2 filters
cs.FL2017
On Delay and Regret Determinization of Max-Plus Automata
Emmanuel Filiot, Ismaël Jecker, Nathan Lhote +2
Decidability of the determinization problem for weighted automata over the semiring , WA for short, is a long-standing open question. We propo…
cs.FL2017★ 1 cited
On Reversible Transducers
Luc Dartois, Paulin Fournier, Ismaël Jecker +1
Deterministic two-way transducers define the robust class of regular functions which is, among other good properties, closed under composition. However, the best known algorithms f…
cs.FL2017
Logics for Word Transductions with Synthesis
Luc Dartois, Emmanuel Filiot, Nathan Lhote
We introduce a logic, called LT, to express properties of transductions, i.e. binary relations from input to output (finite) words. In LT, the input/output dependencies are modelle…