Solving Box-Pushing Games via Model Checking with Optimizations. - Gihwon Kwon; Taehoon Lee 003 (ATVA, 2004)

CTL Model Checking for Boolean Program. - Taehoon Lee 003; Gihwon Kwon; Hyuksoo Han (ICCSA (4), 2006)

Using Bounded Model Checking with BOGOR. - Taehoon Lee 003; Mintaek Cho; Gihwon Kwon (SERA, 2007)