Synthesis and Analysis of Non-Reactive Controllers for Multi-Robot Sequential Task Domains