시간 논리의 표현력 비교: 제한성, 비특이성 및 결정적 프리징의 통합
안내: 본 포스트의 한글 요약 및 분석 리포트는 AI 기술을 통해 자동 생성되었습니다. 정보의 정확성을 위해 하단의 [원본 논문 뷰어] 또는 ArXiv 원문을 반드시 참조하시기 바랍니다.
초록
본 논문은 타임드 템포럴 논리 TPTL
상세 분석
이 논문은 타임드 템포럴 논리의 표현력 계층을 정밀하게 규명한다. 먼저 저자들은 Etessami‑Wilke의 LTL EF 게임을 확장해, “until”·“since” 연산자를 갖는 MTL에 대한 m‑라운드 EF 게임을 정의한다. 게임의 승패는 두 타임드 워드가 어떤 MTL
댓글 및 학술 토론
Loading comments...
의견 남기기