Abdallah+Saffidine

a French computer scientist and games researcher, currently postdoc at [|NICTA] and [|University of New South Wales], and Ph.D. from [|Lamsade], Paris Dauphine University in 2013. His research interests include [|Linear temporal logic (LTL)] [|Model checking], Monte-Carlo Tree Search, Proof-Number Search, Product Propagation and General Game Playing. Along with Tristan Cazenave, Abdallah Saffidine is co-author of the Hex program [|Yopt], applying Monte-Carlo Tree Search. || toc =Selected Publications=
 * Home * People * Abdallah Saffidine**
 * [[image:abdallah-saffidine.jpg width="205" height="246" link="http://org.nicta.com.au/people/"]] ||~  || **Abdallah Saffidine**,
 * Abdallah Saffidine ||~  ||^   ||

2009

 * Abdallah Saffidine (**2009**). //[|LTL Model Checking with use of Generalised Stuttering and Characteristic Patterns.]//

2010 ...

 * Abdallah Saffidine (**2010**). //[|Some Improvements for Monte-Carlo Tree Search, Game Description Language Compilation, Score Bounds and Transpositions]//. MSc-Thesis, [|Lamsade], [|Paris Dauphine University], advisor Tristan Cazenave
 * Tristan Cazenave, Abdallah Saffidine (**2010**). //Monte-Carlo Hex//. [|pdf]
 * Abdallah Saffidine, Tristan Cazenave, Jean Méhat (**2010**). //UCD : Upper Confidence bound for rooted Directed acyclic graphs//. TAAI IWCG, [|pdf]
 * Tristan Cazenave, Abdallah Saffidine (**2010**). //Score Bounded Monte-Carlo Tree Search//. CG 2010, [|pdf]
 * 2011**
 * Abdallah Saffidine (**2011**). //Moccos wins the Panthom-Go Tournament//. ICGA Journal, Vol. 34, No. 1 » 15th Computer Olympiad
 * Abdallah Saffidine, Nicolas Jouandeau, Tristan Cazenave (**2011**). //Solving breakthrough with Race Patterns and Job-Level Proof Number Search//. Advances in Computer Games 13 » Breakthrough (Game)
 * Abdallah Saffidine, Tristan Cazenave (**2011**). //A forward chaining based game description language compiler//. [|GIGA 2011]
 * 2012**
 * Abdallah Saffidine (**2012**). //Minimal Proof Search for Modal Logic K Model Checking//. [|CoRR, July 2012]
 * Abdallah Saffidine, Tristan Cazenave (**2012**). //Multiple-Outcome Proof Number Search//. [|ECAI 2012] » Proof-Number Search
 * Abdallah Saffidine, Hilmar Finnsson, Michael Buro (**2012**). //Alpha-Beta Pruning for Games with Simultaneous Moves//. AAAI 2012
 * Abdallah Saffidine, Tristan Cazenave, Jean Méhat (**2012**). //UCD : Upper confidence bound for rooted directed acyclic graphs//. [|Knowledge Based Systems, Vol. 34]
 * Marc Lanctot, Abdallah Saffidine, Joel Veness, Christopher Archibald (**2012**). //Sparse Sampling for Adversarial Games//. ECAI CGW 2012
 * Abdallah Saffidine, Tristan Cazenave (**2012**). //A General Multi-Agent Modal Logic K Framework for Game Tree Search//. ECAI CGW 2012
 * 2013**
 * Marc Lanctot, Abdallah Saffidine, Joel Veness, Christopher Archibald, Mark Winands (**2013**). //Monte Carlo *-Minimax Search//. IJCAI 2013
 * Abdallah Saffidine (**2013**). //The Game Description Language is Turingcomplete//. IEEE Transactions on Computational Intelligence and AI in Games
 * Abdallah Saffidine (**2013**). //Solving Games and All That//. Ph.D. thesis, Université Paris-Dauphine, advisor Tristan Cazenave, [|pdf]
 * Édouard Bonnet, Florian Jamain, Abdallah Saffidine (**2013**). //Havannah and TwixT are PSPACE-complete//. CG 2013
 * Abdallah Saffidine, Tristan Cazenave (**2013**). //Developments on Product Propagation//. CG 2013, [|pdf]
 * Abdallah Saffidine, Nicolas Jouandeau, Cédric Buron, Tristan Cazenave (**2013**). //Material Symmetry to Partition Endgame Tables//. CG 2013
 * Édouard Bonnet, Florian Jamain, Abdallah Saffidine (**2013**). //On the Complexity of Trick-Taking Card Games//. [|IJCAI 2013]
 * 2014**
 * Édouard Bonnet, Abdallah Saffidine (**2014**). //On the Complexity of General Game Playing//. ECAI CGW 2014

2015 ...

 * Olivier Teytaud, Abdallah Saffidine, Shi-Jim Yen (**2015**). //The complexities of Go//. Advances in Computer Games 14
 * Édouard Bonnet, Florian Jamain, Abdallah Saffidine (**2015**). //[|Draws, Zugzwangs, and PSPACE-Completeness in the Slither Connection Game]//. Advances in Computer Games 14
 * Édouard Bonnet, Florian Jamain, Abdallah Saffidine (**2016**). //On the Complexity of Connection Games//. [|arXiv:1605.04715]

=External Links=
 * [|Abdallah Saffidine - Home Page]
 * [|Optimisation Research Group - Abdallah Saffidine] at [|NICTA]
 * [|Abdallah Saffidine, Doctorant(e)]
 * [|Abdallah Saffidine's ICGA Tournaments]

=References= =What links here?= include page="Abdallah Saffidine" component="backlinks" limit="40"
 * Up one level**