Contrastive Abstraction for Reinforcement Learning