Our paper, Automatic Encoding and Repair of Reactive High-level Tasks with Learned Abstract Representations, was published in The International Journal of Robotics Research.