Abstract State Transition Graphs for Model-Based Reinforcement Learning | IEEE Conference Publication | IEEE Xplore