15 citations · 79 across the 28 of their papers we have counts for
4 papers · 1 filter
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…