An Online Planning Framework for Multi-Robot Systems with LTL Specification.