Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications
correct , reactive robot control from abstraction and temporal logic specifications .