Author here!

I'm not sure about the first part

  V(s) = max i (min j V(s, i, j))

It looks like you suppose that j "precommits" to some move. But I'm not fully awake yet so you could be right.