Automated Robot Recovery from Assumption Violations of High-Level Specifications