Acknowledgement
Grant : 모바일 플랫폼 기반의 콘텐츠 응용 소프트웨어 기술 개발
본 논문에서 GR(1) Synthesis를 이용하여 퍼즐의 전략을 찾는 방법과 실험 결과를 기술한다. 먼저 GR(1) Synthesis와 승리 전략을 정형적으로 정의하고, 퍼즐을 어떻게 형식화 할 것인지에 대하여 설명한다. 마지막으로 GR(1) Synthesis를 통해 획득한 승리 전략을 이용하여 GetOut 퍼즐을 해결하고 그 결과에 대하여 말한다.
Grant : 모바일 플랫폼 기반의 콘텐츠 응용 소프트웨어 기술 개발