Serre, Olivier

1. 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)
2. Higher-Order Recursion Schemes and Collapsible Pushdown Automata:\n Logical Properties
   2020/10/13 by Christopher H. Broadbent, Arnaud Carayol, Broadbent, Christopher H. +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
3. Games on Graphs: From Logic and Automata to Algorithms
   2023/05/17 by Fijalkow, Nathanaël, Aiswarya, C., Avni, Guy +22 · 2 citations
   #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)