GR(1) Synthesis를 이용한 퍼즐의 전략 찾기

Finding a Strategy of the Puzzle using GR(1) Synthesis

  • 권령구 (경기대학교 컴퓨터과학과) ;
  • 권기현 (경기대학교 컴퓨터과학과)
  • 발행 : 2012.06.22

초록

본 논문에서 GR(1) Synthesis를 이용하여 퍼즐의 전략을 찾는 방법과 실험 결과를 기술한다. 먼저 GR(1) Synthesis와 승리 전략을 정형적으로 정의하고, 퍼즐을 어떻게 형식화 할 것인지에 대하여 설명한다. 마지막으로 GR(1) Synthesis를 통해 획득한 승리 전략을 이용하여 GetOut 퍼즐을 해결하고 그 결과에 대하여 말한다.

키워드

과제정보

연구 과제번호 : 모바일 플랫폼 기반의 콘텐츠 응용 소프트웨어 기술 개발