Filiot, Emmanuel
- From Two-Way to One-Way Finite State Transducers
2013/01/22 by Filiot, Emmanuel, Gauwin, Olivier, Reynier, Pierre-Alain +1 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- Doomsday Equilibria for Omega-Regular Games
2013/11/13 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Laurent Doyen +5 · 1 citation
Computer Science · #Computer Science and Game Theory (cs.GT) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems
- On Delay and Regret Determinization of Max-Plus Automata
2017/01/11 by Emmanuel Filiot, Filiot, Emmanuel, Ismaël Jecker +7 · 1 citation
Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms #semigroups and automata theory
- Two-way Parikh Automata
2019/07/22 by Filiot, Emmanuel, Guha, Shibashis, Mazzocchi, Nicolas · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Alternating Tree Automata with Qualitative Semantics
2020/02/10 by Berthon, Raphaël, Fijalkow, Nathanaël, Filiot, Emmanuel +7 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- LTL Reactive Synthesis with a Few Hints
2023/01/25 by Balachander, Mrudula, Filiot, Emmanuel, Raskin, Jean-François · 1 citation
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering