1 citations · 1 across the 6 of their papers we have counts for
7 papers
Repairing General Game Descriptions (extended version)
Yifan He, Munyque Mittelmann, Aniello Murano +2
The Game Description Language (GDL) is a widely used formalism for specifying the rules of general games. Writing correct GDL descriptions can be challenging, especially for non-ex…
Polynomial Prenexing of QBFs with Non-Monotone Boolean Operators
Abdallah Saffidine, Andreas Herzig
It is well-known that every quantified boolean formula (QBF) can be transformed into a prenex QBF whose only boolean operators are negation, conjunction, and disjunction. It is als…
An Improved Upper Bound on the Threshold Bias of the Oriented-cycle Game
Anita Liebenau, Abdallah Saffidine, Jeffrey Yang
We study the -biased Oriented-cycle game where two players, OMaker and OBreaker, take turns directing the edges of (the complete graph on vertices). In each round, OMa…
Enhancing Reinforcement Learning Through Guided Search
Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave
With the aim of improving performance in Markov Decision Problem in an Off-Policy setting, we suggest taking inspiration from what is done in Offline Reinforcement Learning (RL). I…
Perfect Information Monte Carlo with Postponing Reasoning
Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave
Imperfect information games, such as Bridge and Skat, present challenges due to state-space explosion and hidden information, posing formidable obstacles for search algorithms. Det…
Deep Reinforcement Learning for 5*5 Multiplayer Go
Brahim Driss, Jérôme Arjonilla, Hui Wang +2
In recent years, much progress has been made in computer Go and most of the results have been obtained thanks to search algorithms (Monte Carlo Tree Search) and Deep Reinforcement…
Positional Games and QBF: A Polished Encoding
Valentin Mayer-Eichberger, Abdallah Saffidine
Positional games are a mathematical class of two-player games comprising Tic-tac-toe and its generalizations. We propose a novel encoding of these games into Quantified Boolean For…