본 논문에서는 무한 상태 반응형 합성 문제를 해결하기 위해 1차 논리 추론을 활용한 시간 논리 번역 기법을 제안합니다. 이 기법은 기존 방식과 달리 명세의 의미적 구조를 활용하여 더 효율적인 합성 게임을 생성하고, 이를 통해 성능을 향상시킵니다.
