15 citations · 79 across the 28 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.FL2023
Deterministic regular functions of infinite words
Olivier Carton, Gaëtan Douéneau-Tabot, Emmanuel Filiot +1
Regular functions of infinite words are (partial) functions realized by deterministic two-way transducers with infinite look-ahead. Equivalently, Alur et. al. have shown that they…
cs.GT2023★ 1 cited
LTL Reactive Synthesis with a Few Hints
Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin
We study a variant of the problem of synthesizing Mealy machines that enforce LTL specifications against all possible behaviours of the environment including hostile ones. In the v…