Cooperative task planning of multi-robot systems with temporal constraints