Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations.