6 citations · 13 across the 5 of their papers we have counts for
5 papers
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…
On Streaming String Transducers and HDT0L Systems
Emmanuel Filiot, Pierre-Alain Reynier
Copyless streaming string transducers (copyless SST) have been introduced by R. Alur and P. Cerny in 2010 as a one-way deterministic automata model to define transformations of fin…
First-order definable string transformations
Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi
The connection between languages defined by computational models and logic for languages is well-studied. Monadic second-order logic and finite automata are shown to closely corres…
Safraless Synthesis for Epistemic Temporal Specifications
Rodica Bozianu, Catalin Dima, Emmanuel Filiot
In this paper we address the synthesis problem for specifications given in linear temporal single-agent epistemic logic, KLTL (or ), over single-agent systems having imperfec…
Expectations or Guarantees? I Want It All! A crossroad between games and MDPs
Véronique Bruyère, Emmanuel Filiot, Mickael Randour +1
When reasoning about the strategic capabilities of an agent, it is important to consider the nature of its adversaries. In the particular context of controller synthesis for quanti…