13 citations · 18 across the 5 of their papers we have counts for
4 papers · 1 filter
HSVI can solve zero-sum Partially Observable Stochastic Games
Aurélien Delage, Olivier Buffet, Jilles S. Dibangoye +1
State-of-the-art methods for solving 2-player zero-sum imperfect information games rely on linear programming or regret minimization, though not on dynamic programming (DP) or heur…
Foundations of Digital Archæoludology
Cameron Browne, Dennis J. N. J. Soemers, Éric Piette +15
Digital Archaeoludology (DAL) is a new field of study involving the analysis and reconstruction of ancient games from incomplete descriptions and archaeological evidence using mode…
The Complexity of Limited Belief Reasoning -- The Quantifier-Free Case
Yijia Chen, Abdallah Saffidine, Christoph Schwering
The classical view of epistemic logic is that an agent knows all the logical consequences of their knowledge base. This assumption of logical omniscience is often unrealistic and m…
Minimal Proof Search for Modal Logic K Model Checking
Abdallah Saffidine
Most modal logics such as S5, LTL, or ATL are extensions of Modal Logic K. While the model checking problems for LTL and to a lesser extent ATL have been very active research areas…