Verifikation des gesicherten Einzugbereiches von Reinforcement Learning Methoden