15 citations · 79 across the 28 of their papers we have counts for
4 papers · 1 filter
Expressiveness of Visibly Pushdown Transducers
Mathieu Caralp, Emmanuel Filiot, Pierre-Alain Reynier +2
Visibly pushdown transducers (VPTs) are visibly pushdown automata extended with outputs. They have been introduced to model transformations of nested words, i.e. words with a call/…
Doomsday Equilibria for Omega-Regular Games
Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot +1
Two-player games on graphs provide the theoretical frame- work for many important problems such as reactive synthesis. While the traditional study of two-player zero-sum games has…
Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
Véronique Bruyère, Emmanuel Filiot, Mickael Randour +1
We extend the quantitative synthesis framework by going beyond the worst-case. On the one hand, classical analysis of two-player games involves an adversary (modeling the environme…
From Two-Way to One-Way Finite State Transducers
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier +1
Any two-way finite state automaton is equivalent to some one-way finite state automaton. This well-known result, shown by Rabin and Scott and independently by Shepherdson, states t…