Temporal-logic-based reactive mission and motion planning