3 citations · 8 across the 13 of their papers we have counts for
4 papers · 2 filters
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…
Synthesis from Weighted Specifications with Partial Domains over Finite Words
Emmanuel Filiot, Christof Löding, Sarah Winter
In this paper, we investigate the synthesis problem of terminating reactive systems from quantitative specifications. Such systems are modeled as finite transducers whose execution…
Synthesizing Computable Functions from Rational Specifications over Infinite Words
Emmanuel Filiot, Sarah Winter
The synthesis problem asks to automatically generate, if it exists, an algorithm from a specification of correct input-output pairs. In this paper, we consider the synthesis of com…
Computability of Data-Word Transductions over Different Data Domains
Léo Exibard, Emmanuel Filiot, Nathan Lhote +1
In this paper, we investigate the problem of synthesizing computable functions of infinite words over an infinite alphabet (data -words). The notion of computability is defined…