Leveraging Supervised Learning and Automated Reasoning for Robot Sequential Decision-Making
robot representing and reasoning with knowledge from reinforcement learning .