Solving Box-Pushing Games via Model Checking with Optimizations.

Gihwon Kwon, Taehoon Lee

Browse the full ATVA paper archive.