Safe LTL Assumption-Based Planning