M Cap, P Novak, JVM Pechoucek (2012), Asynchronous Decentralized Algorithm for Space-Time Cooperative Pathfinding, M Bhatt, HW Guesgen, E Davis (Eds.), In Spatio-Temporal Dynamics (STeDy 2012), Workshop Proceedings of the European Conference on Articial Intelligence (ECAI 2012), Montpellier, France p.18-25.

N Manthey, MJH Heule, A Biere (2012), Automated Reencoding of Boolean Formulas, sn (Eds.), In Proceedings of Haifa Verification Conference 2012 p.1-16, Springer.

R Sharma, MTJ Spaan (2012), Bayesian Game Based Fuzzy Reinforcement Learning Control for Decentralized POMDPs, In IEEE Transactions on Computational Intelligence and AI in Games Volume 4 p.309-328.

AW ter Mors, C Witteveen (2012), Comparing Context-Aware Routing and Local Intersection Management, JWHM Uiterwijk, N Roos, MHM Winands (Eds.), In Proceedings of the 24th Benelux Conference on Artificial Intelligence p.186-194.

LR Planken, MM de Weerdt, PJ van der Krogt (2012), Computing all-pairs shortest paths by leveraging low treewidth, In The Journal of Artificial Intelligence Research Volume 43 p.353-388.

P van der Tak, MJH Heule, A Biere (2012), Concurrent Cube-and-Conquer, A Cimatti, R Sebastiani (Eds.), In Theory and Applications of Satisfiability Testing ¿ SAT 2012 p.475-476, Springer.

MJH Heule, O Kullmann, S. Wieringa, A Biere (2012), Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads, sn (Eds.), In Haifa Verification Conference 2011 p.50-65, Springer.

Francisco S. Melo, Alberto Sardinha, Stefan J. Witwicki, Laura M. Ramirez-Elizondo, Matthijs T.J. Spaan (2012), Decentralized multiagent planning for balance control in smart grids, Paulo Carreira, Vasco Amaral (Eds.), In Proceedings of the 1st International Workshop on Infomation Technology for Energy Applications, IT4ENERGY2012 p.21-24.

J Capitan, MTJ Spaan, L Merino, A Ollero (2012), Decentralized Multi-Robot Cooperation with Auctioned POMDPs, In Proceedings of the IEEE International Conference on Robotics and Automation p.3323-3328.

L Volker, JCD Scharpff, MM de Weerdt, PM Herder (2012), Designing a dynamic network based approach for asset management activities, SD Smith (Eds.), In Proceedings 28th Annual ARCOM Conference p.655-664.