Automatic Synthesis of Control for Multi-Agent Systems with Dynamic Constraints. Issue 11 (2015)