Applying Model Checking Techniques to Game Solving.

Gihwon Kwon

Browse the full SERA paper archive.