Correct high-level robot behavior in environments with unexpected events