STRATEGIC DOMINANCE AND DYNAMIC PROGRAMMING FOR MULTI-AGENT PLANNING - Application to the Multi-Robot Box-pushing Problem Topics: Cooperation and Coordination; Multi-Agent Systems; Task Planning and Execution In Proceedings of the 4th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, 91-97, 2012 , Vilamoura, Algarve, Portugal