Abdallah Saffidine

Available identifiers

Publication	Date of Publication	Type
HSVI can solve zero-sum partially observable stochastic games	2024-10-25	Paper
QBF programming with the modeling language bule	2024-07-12	Paper
Heuristic search for one-to-many shortest path queries	2021-12-17	Paper
Knowledge-based programs as succinct policies for partially observable domains	2021-08-16	Paper
Positional games and QBF: the corrective encoding	2021-04-07	Paper
Safe Multi-Agent Pathfinding with Time Uncertainty	2021-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q5144355	2021-01-15	Paper
The Parameterized Complexity of Positional Games	2020-05-27	Paper
Constrained swap dynamics over a social network in distributed resource reallocation	2018-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q5282973	2017-07-18	Paper
On the complexity of connection games	2016-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q3455603	2015-12-11	Paper
Material Symmetry to Partition Endgame Tables	2015-09-29	Paper
Havannah and TwixT are PSPACE-complete	2015-09-29	Paper
Condorcet winning sets	2015-04-23	Paper
Minimal Proof Search for Modal Logic K Model Checking	2012-09-21	Paper
Score Bounded Monte-Carlo Tree Search	2011-02-11	Paper

This page was built for person: Abdallah Saffidine