본 논문은 다중 작업 강화 학습에서 복잡하고 시간적으로 확장된 작업을 지정하는 강력한 형식으로 최근 채택된 선형 시간 논리(LTL)를 다룹니다. 기존의 접근 방식들은 훈련 중에 관찰되지 않은 임의의 명세를 효율적으로 만족하는 정책을 학습하는 데 어려움을 겪습니다. 본 논문에서는 이러한 문제점들을 해결하기 위해 Buchi 오토마타의 구조를 활용하여 원하는 공식을 만족하는 진리 할당 시퀀스를 조건으로 하는 정책을 학습하는 새로운 학습 방법을 제안합니다. 다양한 이산 및 연속 도메인에서의 실험을 통해 제안된 방법이 다양한 유한 및 무한 지평 명세를 제로샷으로 만족시킬 수 있으며, 만족 확률과 효율성 측면에서 기존 방법보다 우수함을 보여줍니다.