Shengyi Jiang

I am currently trying to solve Ex2, and have some thoughts on this problem if the goal is x = y, x =[ (the proof of x=x') >= x' changes...

it seems that only policies of 'taxi' env are available now