1: Investigation of “Enhancing flexibility and robustness in multi-agent task scheduling” 2: On a compact encoding of the swap automaton