A deep learning based mixed initiative editor for game level generation