Magnetic control of tokamak plasmas through deep reinforcement learning