Ohlmann, Pierre
- Flipper games for monadically stable graph classes
2023/01/31 by Gajarský, Jakub, Mählmann, Nikolas, McCarty, Rose +6 · 4 citations
#Combinatorics (math.CO) #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
- Scaling Neural Program Synthesis with Distribution-based Search
2021/10/24 by Nathanaël Fijalkow, Guillaume Lagarde, Fijalkow, Nathanaël +9 · 2 citations
Computer Science · #Machine Learning and Algorithms #Adversarial Robustness in Machine Learning #Machine Learning and Data Classification
- The GKK Algorithm is the Fastest over Simple Mean-Payoff Games
2021/10/09 by Pierre Ohlmann, Ohlmann, Pierre · 1 citation
Computer Science · Economics, Econometrics and Finance · Social Sciences · #Artificial Intelligence in Games #Sports Analytics and Performance #Digital Games and Media
- Canonical decompositions in monadically stable and bounded shrubdepth graph classes
2023/03/02 by Ohlmann, Pierre, Pilipczul, Michał, Toruńczyk, Szymon +1 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- 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)
- Positional ω-regular languages
2024/01/27 by Casares, Antonio, Ohlmann, Pierre · 2 citations
#68Q45 #Computer Science and Game Theory (cs.GT) #F.4.3 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)