Kinematic State Abstraction and Provably Efficient Rich-Observation Reinforcement Learning