ASyMTRe: Automated Synthesis of Multi-Robot Task Solutions through Software Reconfiguration
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving